- Computing the Hermite form of a matrix of Ore polynomials Mark Giesbrecht Myung Sub Kim Sat 19 September 2020
- Computing the Maximum Degree of Minors in Skew Polynomial Matrices Taihei Oki Sat 19 September 2020
- Reconciling qualitative, abstract, and scalable modeling of biological networks Loic Paulevé Juraj Kolčák Thomas Chatain Stefan Haar Sat 19 September 2020
- Higher-Order Nonemptiness Step by Step Paweł Parys Fri 18 September 2020
- Automatic Equivalence Structures of Polynomial Growth Moses Ganardi Bakhadyr Khoussainov Thu 17 September 2020
- Finding a minimal set of linear recurring relations capable of generating a given finite two-dimensional array Shojiro Sakata Mon 14 September 2020
- Linear algebra for computing Grøbner bases of linear recursive multidimensional sequences Jérémy Berthomieu Brice Boyer Jean-Charles Faugère Mon 14 September 2020
- Pattern Matching without K Jesper Cockx Dominique Devriese Frank Piessens Mon 14 September 2020
- A report on the first virtual PLDI conference Alastair F. Donaldson Mon 14 September 2020
- Parametric Model Checking Continuous-Time Markov Chains Andrei Ilie James Worrell Mon 14 September 2020
- The ABCs of Petri net reachability relaxations Michael Blondin Mon 14 September 2020
- Intuitionistic Completeness and Classical Logic D. C. McCarty Mon 14 September 2020
- Intuitionistic Propositional Logic David Baelde Mon 14 September 2020
- Glivenko's Theorem Curtis Franks Mon 14 September 2020
- The Logical Work of Mordchaj Wajsberg Stanisław J. Surma Mon 14 September 2020
- Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz Aleksy Schubert Mon 14 September 2020
- Lecture Notes on Cut Elimination Frank Pfenning Mon 14 September 2020
- On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions Philippe de Groote Mon 14 September 2020
- Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus Andreas Abel Christian Sattler Mon 14 September 2020
- Normalisation by evaluation Sam Lindley Mon 14 September 2020
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
