- Linear equations for unordered data vectors Piotr Hofman Jakub Różycki Wed 08 September 2021
- Logics Meet 2-Way 1-Clock Alternating Timed Automata Shankara Narayanan Krishna Khushraj Nanik Madnani Manuel Jr. Mazo Paritosh K. Pandya Wed 08 September 2021
- Guarded Variable Automata over Infinite Alphabets Walid Belkhir Yannick Chevalier Michael Rusinowitch Wed 08 September 2021
- On the Variable Hierarchy of First-Order Spectra Eryk Kopczyński Tony Tan Tue 07 September 2021
- A First Order Logic Definition of Beyond-Planar Graphs Franz J. Brandenburg Tue 07 September 2021
- On a Question of McNaughton and Papert Antonio Restivo Tue 07 September 2021
- On non-structural subtype entailment Aleksy Schubert Tue 07 September 2021
- On a Theorem of Cobham Concerning Undecidable Theories Robertl. Vaught Tue 07 September 2021
- Elimination Theory in Differential and Difference Algebra Wei Li Chun-Ming Yuan Tue 07 September 2021
- Bounded opacity for timed systems Ikhlass Ammar Yamen El Touati Moez Yeddes John Mullins Tue 07 September 2021
- Reactive Synthesis from Visibly Register Pushdown Automata Ryoma Senda Yoshiaki Takata Hiroyuki Seki Tue 07 September 2021
- A Survey of the Proof-Theoretic Foundations of Logic Programming Dale Miller Tue 07 September 2021
- The Weihrauch degree of finding Nash equilibria in multiplayer games Tonicha Crook Arno Pauly Fri 03 September 2021
- Image-Binary Automata Stefan Kiefer Cas Widdershoven Fri 03 September 2021
- Simplifying regular expressions further Stefan Kahrs Colin Runciman Tue 31 August 2021
- On Second-Order Logic George S. Boolos Tue 31 August 2021
- FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES STEFANO CRESPI REGHIZZI PIERLUIGI SAN PIETRO Fri 27 August 2021
- Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding Stefano Crespi Reghizzi Pierluigi San Pietro Fri 27 August 2021
- Algebraic decision procedures for local testability Robert McNaughton Fri 27 August 2021
- A characterization of strictly locally testable languages and its application to subsemigroups of a free semigroup Aldo De Luca Antonio Restivo Fri 27 August 2021
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
