- Implicitization of rational parametric curves and surfaces Michael Kalkbrener Mon 02 November 2020
- Principia Mathematica and the Development of Automated Theorem Proving Daniel J. O'Leary Sat 31 October 2020
- Finite Automata over Structures Aniruddh Gandhi Bakhadyr Khoussainov Jiamou Liu Fri 30 October 2020
- Generalized finite automata over real and complex numbers Klaus Meer Ameen Naif Fri 30 October 2020
- Linear Integer Arithmetic Revisited Martin Bromberger Thomas Sturm Christoph Weidenbach Fri 30 October 2020
- Deductive Stability Proofs for Ordinary Differential Equations Yong Kiam Tan André Platzer Fri 30 October 2020
- On the Expressiveness of Buchi Arithmetic Christoph Haase Jakub Różycki Fri 30 October 2020
- Deciding ømega-Regular Properties on Linear Recurrence Sequences Shaull Almagor Toghrul Karimov Edon Kelmendi Jøel Ouaknine James Worrell Fri 30 October 2020
- Relatively Complete Verification of Probabilistic Programs Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Fri 30 October 2020
- An Algorithm to Determine Properties of Field Extensions Lying over a Ground Field G. Kemper Mon 26 October 2020
- Using Groebner bases to determine the algebraic and transcendental nature of field extensions: Return of the killer tag variables Moss Sweedler Mon 26 October 2020
- Basic Algorithms for Rational Function Fields J. Muller-Quade R. Steinwandt Mon 26 October 2020
- Syntax and Semantics of Cedille Aaron Stump Chris Jenkins Sun 25 October 2020
- Bases for algebras over a monad Stefan Zetzsche Alexandra Silva Matteo Sammartino Sun 25 October 2020
- Verification of Flat FIFO Systems Alain Finkel M. Praveen Sun 25 October 2020
- A Unified Translation of Linear Temporal Logic to ømega-Automata Javier Esparza Jan Křetínský Salomon Sickert Sun 25 October 2020
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination Christel Baier Christian Hensel Lisa Hutschenreiter Sebastian Junges Joost-Pieter Katoen Joachim Klein Sun 25 October 2020
- Harnessing LTL With Freeze Quantification Daniel Hausmann Stefan Milius Lutz Schrøder Sun 25 October 2020
- Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking's conjecture Jeffrey Shallit Sun 25 October 2020
- On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles Thomas Gogacz Víctor Gutiérrez-Basulto Yazmín Ibáñez-García Jean Christoph Jung Filip Murlak Sun 25 October 2020
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
