- Divide-and-Conquer Determinization of Buchi Automata based on SCC Decomposition Yong Li Andrea Turrini Weizhi Feng Moshe Y. Vardi Lijun Zhang Fri 01 July 2022
- Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes Jan Dreier Nikolas Mahlmann Sebastian Siebertz Szymon Toruńczyk Fri 01 July 2022
- Monitoring Timed Properties (Revisited) Thomas Møller Grosen Sean Kauffman Kim Guldstrand Larsen Martin Zimmermann Fri 01 July 2022
- A logical approach of Petri net languages Michel Parigot Elisabeth Pelz Fri 01 July 2022
- Some structural results on Dn-finite functions Antonio Jiménez-Pastor Veronika Pillwein Michael F. Singer Fri 01 July 2022
- Extensions of MSO and the monadic counting hierarchy Juha Kontinen Hannu Niemistø Fri 01 July 2022
- Descriptive complexity of P functions: A new perspective Arnaud Durand Anselm Haak Juha Kontinen Heribert Vollmer Fri 01 July 2022
- Descriptive Complexity for counting complexity classes Marcelo Arenas Martin Muñoz Cristian Riveros Fri 01 July 2022
- Bounded Parikh Automata Michael Cadilhac Alain Finkel Pierre McKenzie Fri 01 July 2022
- A Logical Characterization of the Counting Hierarchy Juha Kontinen Fri 01 July 2022
- Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth Arnaud Durand Anselm Haak Heribert Vollmer Fri 01 July 2022
- A Sage Implementation for DD-Finite Functions Antonio Jiménez-Pastor Fri 01 July 2022
- The Sage Package Combwalks for Walks in the Quarter Plane Antonio Jiménez-Pastor Alin Bostan Frédéric Chyzak Pierre Lairez Fri 01 July 2022
- On C2-Finite Sequences Antonio Jiménez-Pastor Philipp Nuspl Veronika Pillwein Fri 01 July 2022
- Simple Differentially Definable Functions Antonio Jiménez-Pastor Fri 01 July 2022
- Descriptive Complexity of AC^0 Functions Arnaud Durand Anselm Haak Juha Kontinen Heribert Vollmer Fri 01 July 2022
- Counting of Teams in First-Order Team Logics Anselm Haak Juha Kontinen Fabian Muller Heribert Vollmer Fan Yang Fri 01 July 2022
- Dependence Logic with a Majority Quantifier Arnaud Durand Johannes Ebbing Juha Kontinen Heribert Vollmer Fri 01 July 2022
- Bounding the radii of balls meeting every connected component of semi-algebraic sets Saugata Basu Marie-Françoise Roy Thu 30 June 2022
- Complexity of Computing Semi-Algebraic Descriptions of the Connected Components of a Semi-Algebraic Set Saugata Basu Richard Pollack Marie-Françoise Roy Wed 29 June 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
