- Geometric Decision Procedures and the VC Dimension of Linear Arithmetic Theories Dmitry Chistikov Christoph Haase Alessio Mansutti Mon 29 August 2022
- Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin Mon 29 August 2022
- Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics Erich Gradel Hayyan Helal Matthias Naaf Richard Wilke Mon 29 August 2022
- The Boundedness and Zero Isolation Problems for Weighted Automata over Nonnegative Rationals Wojciech Czerwiński Engel Lefaucheux Filip Mazowiecki David Purser Markus Whiteland Mon 29 August 2022
- A Technology for Reverse-Engineering a Combinatorial Problem from a Rational Generating Function E. Barcucci A. Del Lungo A. Frosini S. Rinaldi Wed 24 August 2022
- Adding pebbles to weighted automata: Easy specification & efficient evaluation Paul Gastin Benjamin Monmege Wed 24 August 2022
- Definability of Combinatorial Functions Tomer Kotek Tue 23 August 2022
- All about unambiguous polynomial closure Thomas Place Marc Zeitoun Thu 18 August 2022
- Active Learning for Deterministic Bottom-up Nominal Tree Automata R. Nakanishi Y. Takata H. Seki Thu 18 August 2022
- Order-Invariance of Two-Variable Logic is coNExpTime-complete Bartosz Bednarczyk Thu 18 August 2022
- One-Clock Priced Timed Games with Negative Weights Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege Tue 16 August 2022
- A Characterization of NCk by First Order Functional Programs Jean-Yves Marion Romain Péchoux Wed 10 August 2022
- Nondeterministic NC/sup 1/ computation H. Caussinus P. McKenzie D. Therien H. Vollmer Wed 10 August 2022
- A Characterization of Alternating Log Time by First Order Functional Programs Guillaume Bonfante Jean-Yves Marion Romain Péchoux Wed 10 August 2022
- Bounded-width polynomial-size branching programs recognize exactly those languages in NC1 David A. Barrington Wed 10 August 2022
- Nonprimitive recursive complexity and undecidability for Petri net equivalences Petr Jančar Wed 10 August 2022
- Transducers of Polynomial Growth Mikolaj Bojanczyk Tue 09 August 2022
- Simple C2-Finite Sequences: A Computable Generalization of C-Finite Sequences Philipp Nuspl Veronika Pillwein Mon 08 August 2022
- Alternating Automatic Register Machines Ziyuan Gao Sanjay Jain Zeyong Li Ammar Fathin Sabili Frank Stephan Wed 03 August 2022
- Countdown mu-calculus Jędrzej Kołodziejski Bartek Klin Wed 03 August 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
