- Separation of regular languages by unambiguous automata Ryszard Poklewski-Koziełł Thu 17 December 2020
- Periodicity and Immortality in Reversible Computing Jarkko Kari Nicolas Ollinger Thu 17 December 2020
- Improved Maximally Recoverable LRCs using Skew Polynomials Sivakanth Gopi Venkatesan Guruswami Wed 16 December 2020
- The undecidability of the Turing machine immortality problem Philip K. Hooper Wed 16 December 2020
- The Undecidability of the Semi-unification Problem A. J. Kfoury J. Tiuryn P. Urzyczyn Wed 16 December 2020
- On Immortal Configurations in Turing Machines Emmanuel Jeandel Wed 16 December 2020
- Undecidability of Semi-Unification on a Napkin Andrej Dudenhefner Wed 16 December 2020
- Verifying the Safety of Autonomous Systems with Neural Network Controllers Radoslav Ivanov Taylor J. Carpenter James Weimer Rajeev Alur George J. Pappas Insup Lee Mon 14 December 2020
- Interprocedural Context-Unbounded Program Analysis Using Observation Sequences Peizun Liu Thomas Wahl Thomas Reps Mon 14 December 2020
- Reachability of Patterned Conditional Pushdown Systems Xin Li Patrick Gardy Yu-Xin Deng Hiroyuki Seki Mon 14 December 2020
- Różniczkowalność rozwiązań zaburzonego równania transportu Kamila Łyczek Sun 13 December 2020
- Learning Mealy Machines with Timers B. Jonsson F. Vaandrager Sun 13 December 2020
- Learning Mealy Machines with One Timer Frits Vaandrager Roderick Bloem Masoud Ebrahimi Sun 13 December 2020
- I Got Plenty o' Nuttin' Conor McBride Sun 13 December 2020
- Lecture notes on cut elimination Frank Pfenning Sun 13 December 2020
- Strongly-Normalizing Higher-Order Relational Queries Wilmer Ricciotti James Cheney Sun 13 December 2020
- Describing the syntax of programming languages using conjunctive and Boolean grammars Alexander Okhotin Sun 13 December 2020
- Optimal transformations of Muller conditions Antonio Casares Thomas Colcombet Nathanael Fijalkow Sun 13 December 2020
- A deep quantitative type system Giulio Guerrieri Willem Heijltjes Joseph Paulus Sun 13 December 2020
- A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation André Arnold Damian Niwiński Paweł Parys Sun 13 December 2020
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
