- Contextuality, Cohomology and Paradox Samson Abramsky Rui Soares Barbosa Kohei Kishida Raymond Lal Shane Mansfield Wed 09 September 2015
- On Relative and Probabilistic Finite Counterability Orna Kupferman Gal Vardi Wed 09 September 2015
- Aperiodic Two-way Transducers and FO-Transductions Olivier Carton Luc Dartois Wed 09 September 2015
- Tree Grammars for the Elimination of Non-prenex Cuts Stefan Hetzl Sebastian Zivota Wed 09 September 2015
- Automata Theoretic Account of Proof Search Aleksy Schubert Wil Dekkers Henk P. Barendregt Wed 09 September 2015
- The Ackermann Award 2015 Dexter Kozen Anuj Dawar Simona Ronchi Della Rocca Wed 09 September 2015
- Counting and Randomising in Automata Theory Nathanael Fijalkow Thu 03 September 2015
- Graphs without large bicliques and well-quasi-orderability by the induced subgraph relation Aistis Atminas Vadim V. Lozin Igor Razgon Thu 03 September 2015
- Well-Quasi-Order of Relabel Functions Jean Daligault Michael Rao Stéphan Thomassé Thu 03 September 2015
- Cyclic Orders Alain Quilliot Thu 03 September 2015
- Betweenness Groups J. A. H. Shepperd Thu 03 September 2015
- Strategy Synthesis in Adversarial Patrolling Games Tomáš Brázdil Petr Hliněný Antonín Kučera Vojtěch Řehák Matúš Abaffy Wed 02 September 2015
- Ordinal Recursive Complexity of Unordered Data Nets Fernando Rosa-Velardodo Mon 24 August 2015
- The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets Serge Haddad Sylvain Schmitz Philippe Schnoebelen Mon 24 August 2015
- Stochastic Games and Stationary Strategies O. J. Vrieze Thu 20 August 2015
- Palatalization in Brazilian Portuguese/English Interphonology Melissa Bettoni-Techio Rosana Denise Koerich Thu 20 August 2015
- Automata based verification over linearly ordered data domains Luc Segoufin Szymon Torunczyk Thu 20 August 2015
- A Model for Recursive-Parallel Programs O. Kouchnarenko Philippe Schnoebelen Thu 20 August 2015
- Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars Bahareh Afshari Stefan Hetzl Graham E. Leigh Thu 20 August 2015
- On Reachability for Unidirectional Channel Systems Extended with Regular Tests Petr Jančar Prateek Karandikar Philippe Schnoebelen Wed 19 August 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
