- The Algebra of States and Events Edmund C. Berkeley Sun 09 July 2017
- A Symbolic Analysis of Relay and Switching Circuits Claude Elwood Shannon Sun 09 July 2017
- Admissiblity in Concurrent Games Nicolas Basset Gilles Geeraerts Jean-François Raskin Ocan Sankur Sat 08 July 2017
- Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes Raphael Berthon Mickael Randour Jean-François Raskin Sat 08 July 2017
- A Universal Ordinary Differential Equation Olivier Bournez Amaury Pouly Sat 08 July 2017
- Continuity and Rational Functions Michael Cadilhac Olivier Carton Charles Paperman Sat 08 July 2017
- Which Classes of Origin Graphs Are Generated by Transducers Mikolaj Bojanczyk Laure Daviaud Bruno Guillon Vincent Penelle Sat 08 July 2017
- On Reversible Transducers Luc Dartois Paulin Fournier Ismael Jecker Nathan Lhote Sat 08 July 2017
- Automata-Based Stream Processing Rajeev Alur Konstantinos Mamouras Caleb Stanford Sat 08 July 2017
- Proof Complexity Meets Algebra Albert Atserias Joanna Ochremiak Sat 08 July 2017
- Emptiness of Zero Automata Is Decidable Mikolaj Bojanczyk Hugo Gimbert Edon Kelmendi Sat 08 July 2017
- Expressiveness of Probabilistic Modal Logics, Revisited Nathanael Fijalkow Bartek Klin Prakash Panangaden Sat 08 July 2017
- Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment Fabian Reiter Sat 08 July 2017
- Pumping Lemma for Higher-order Languages Kazuyuki Asada Naoki Kobayashi Sat 08 July 2017
- Word Equations in Nondeterministic Linear Space Artur Jez Sat 08 July 2017
- On the Complexity of Quantified Integer Programming Dmitry Chistikov Christoph Haase Sat 08 July 2017
- All-Pairs 2-Reachability in O(n^w łog n) Time Loukas Georgiadis Daniel Graf Giuseppe F. Italiano Nikos Parotsidis Przemyslaw Uznanski Sat 08 July 2017
- Orbit-Finite Sets and Their Algorithms (Invited Talk) Mikolaj Bojanczyk Sat 08 July 2017
- Review: Raphael M. Robinson, Restricted Set-Theoretical Definitions in Arithmetic Robert McNaughton Thu 06 July 2017
- Logic, Arithmetic, and Automata Alonzo Church Mon 03 July 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
