- Coefficients of algebraic functions: formulae and asymptotics Cyril Banderier Michael Drmota Sun 18 October 2020
- Algorithms for D-finite functions Manuel Kauers Sat 17 October 2020
- The Atomic Lambda-Mu Calculus Fanny He Sat 17 October 2020
- Systems of logic based on ordinals Alan Turing Sat 17 October 2020
- Turing's Thesis Solomon Feferman Sat 17 October 2020
- New Results in Linear Filtering and Prediction Theory R. E. Kalman R. S. Bucy Sat 17 October 2020
- A New Approach to Linear Filtering and Prediction Problems R. E. Kalman Sat 17 October 2020
- Reachability is Tower Complete Yuxi Fu Qizhe Yang Fri 16 October 2020
- Tree Automata and Tree Grammars Joost Engelfriet Fri 16 October 2020
- Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars Kazuyuki Asada Naoki Kobayashi Fri 16 October 2020
- Exponential-polynomial equations M. Zoeteman Fri 16 October 2020
- The Zeros of Exponential Polynomials (I) Carlos Julio Moreno Fri 16 October 2020
- A Survey of Languages for Formalizing Mathematics Cezary Kaliszyk Florian Rabe Fri 16 October 2020
- Coinductive Stream Calculus in Haskell Joost Winter Fri 16 October 2020
- The Subresultant PRS Algorithm W. S. Brown Fri 16 October 2020
- A Subresultant Theory for Ore Polynomials with Applications Ziming Li Fri 16 October 2020
- Practical Implementation of a Dependently Typed Functional Programming Language Edwin Brady Fri 16 October 2020
- Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Fri 16 October 2020
- Logarithmic space queries and regular transductions in the elementary affine Nguy~é Lê Thành Dũng Fri 16 October 2020
- Models for Intuitionistic Propositional Logic Hai Dang Fri 16 October 2020
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
