- Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems C. J. Rust G. J. Reid A. D. Wittkopf Wed 08 April 2020
- Formal methods for systems of partial differential equations Daniel Robertz Wed 08 April 2020
- Approximation of solutions of polynomial partial differential equations in two independent variables Ghiocel Groza Mohsen Razzaghi Wed 08 April 2020
- On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations S. A. Abramov M. Petkovšek Wed 08 April 2020
- Polynomial Invariant Generation for Non-deterministic Recursive Programs Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady Ehsan Kafshdar Goharshady Tue 07 April 2020
- The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View Wim Veldman Fri 03 April 2020
- An intuitionistic proof of Kruskal's theorem Wim Veldman Thu 02 April 2020
- An intuitiomstic completeness theorem for intuitionistic predicate logic Wim Veldman Thu 02 April 2020
- Constructive Completeness Proofs and Delimited Control Danko Ilik Thu 02 April 2020
- On amenability of constraint satisfaction problems Michał R. Przybyłek Wed 01 April 2020
- Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs Michele Boreale Wed 01 April 2020
- Invariant Synthesis for Combined Theories Dirk Beyer Thomas A. Henzinger Rupak Majumdar Andrey Rybalchenko Wed 01 April 2020
- A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions Catarina Coquand Mon 30 March 2020
- No-Go Theorems for Distributive Laws Maaike Zwart Dan Marsden Mon 30 March 2020
- Minimising Good-for-Games automata is NP complete Sven Schewe Sun 29 March 2020
- Quantitative Reductions and Vertex-Ranked Infinite Games (Full Version) Alexander Weinert Sun 29 March 2020
- Deep Weisfeiler Leman Martin Grohe Pascal Schweitzer Daniel Wiebking Sun 29 March 2020
- Failure of Feasible Disjunction Property for k-DNF Resolution and NP-hardness of Automating It Michal Garlík Sun 29 March 2020
- Godel and the metamathematical tradition Jeremy Avigad Fri 27 March 2020
- Elementary Theory of Real Numbers Erwin Engeler Wed 25 March 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
