- Commutative Data Automata Zhilin Wu Mon 20 January 2025
- Multitree automata that count Denis Lugiez Fri 03 March 2023
- Numerical Document Queries Helmut Seidl Thomas Schwentick Anca Muscholl Thu 02 March 2023
- Reasoning on Data Words over Numeric Domains Diego Figueira Anthony Widjaja Lin Mon 29 August 2022
- Geometric Decision Procedures and the VC Dimension of Linear Arithmetic Theories Dmitry Chistikov Christoph Haase Alessio Mansutti Mon 29 August 2022
- Complete Functional Synthesis Viktor Kuncak Mikael Mayer Ruzica Piskac Philippe Suter Mon 14 February 2022
- Complexity of Short Presburger Arithmetic Danny Nguyen Igor Pak Tue 14 September 2021
- Context-free commutative grammars with integer counters and resets Dmitry Chistikov Christoph Haase Simon Halfon Tue 03 March 2020
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics Christian Choffrut Tue 03 March 2020
- Effective definability of the reachability relation in timed automata Martin Franzle Karin Quaas Mahsa Shirmohammadi James Worrell Mon 09 December 2019
- Arithmetic, First-order Logic, and Counting Quantifiers Nicole Schweikardt Thu 11 July 2019
- Uber der Vollstandigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt Mojżesz Presburger Mon 30 October 2017
- The complexity of logical theories Leonard Berman Mon 30 October 2017
- Theorem Proving in Arithmetic without Multiplication D. C. Cooper Tue 26 September 2017
- Durations and Parametric Model-checking in Timed Automata Véronique Bruyère Emmanuel Dall'olio Jean-François Raskin Wed 22 February 2017
- Past Pushdown Timed Automata and Safety Verification Zhe Dang Tevfik Bultan Oscar H. Ibarra Richard A. Kemmerer Wed 29 October 2014
- A polynomial time Presburger criterion and synthesis for number decision diagrams J. Leroux Tue 20 November 2012
- FAST Extended Release Sébastien Bardin Jérôme Leroux Gérald Point Tue 20 November 2012
- Vector addition system reachability problem: a short self-contained proof Jérôme Leroux Wed 13 June 2012
Library Size: 13G (19 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
