- A Complete Diagrammatic Calculus for Automata Simulation Thibaut Antoine Robin Piedeleu Alexandra Silva Fabio Zanasi Tue 25 February 2025
- A Special Case of Rational Identity Testing and the Brešar-Klep Theorem V. Arvind Abhranil Chatterjee Rajit Datta Partha Mukhopadhyay Fri 05 July 2024
- Energy Games with Resource-Bounded Environments Orna Kupferman Naama Shamash Halevy Fri 24 November 2023
- A simple combinatorial proof for the small model property of two-variable logic Yanger Ma Tony Tan Fri 15 September 2023
- A lower bound for the coverability problem in acyclic pushdown VAS Matthias Englert Piotr Hofman Sławomir Lasota Ranko Lazić Jérôme Leroux Juliusz Straszyński Sun 27 December 2020
Library Size: 13G (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
