- Computing machinery and intelligence Alan Turing Mon 03 July 2017
- On Buchi One-Counter Automata Stanislav Bøhm Stefan Gøller Simon Halfon Piotr Hofman Fri 30 June 2017
- Revisiting Reachability in Timed Automata Karin Quaas Mahsa Shirmohammadi James Worrell Thu 29 June 2017
- A Perfect Class of Context-Sensitive Timed Languages Devendra Bhave Vrunda Dave S. N. Krishna Ramchandra Phawade Ashutosh Trivedi Wed 28 June 2017
- Reachability Games on Recursive Hybrid Automata S. N. Krishna L. Manasa A. Trivedi Wed 28 June 2017
- Zenoness for Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman Wed 28 June 2017
- Complexity of Two-Variable Logic on Finite Trees Saguy Benaim Michael Benedikt Witold Charatonik Emanuel Kieroński Rastislav Lenhardt Filip Mazowiecki James Worrell Tue 27 June 2017
- Ordered Navigation on Multi-attributed Data Words Normann Decker Peter Habermehl Martin Leucker Daniel Thoma Tue 27 June 2017
- An Invitation to Game Semantics Andrzej S. Murawski Nikos Tzevelekos Tue 27 June 2017
- Admissible Strategies in Timed Games Nicolas Basset Jean-François Raskin Ocan Sankur Tue 27 June 2017
- Reachability in pushdown register automata A.S. Murawski S.J. Ramsay N. Tzevelekos Tue 27 June 2017
- First-class Polymorphism with Type Inference Mark P. Jones Mon 26 June 2017
- Functional Pearls: The Bird Tree Ralf Hinze Mon 26 June 2017
- Improving Lazy Non-Deterministic Computations by Demand Analysis Michael Hanus Mon 26 June 2017
- How not to write Fortran in any language Donn Seeley Mon 26 June 2017
- On encoding logical-mathematical formulas using the machine itself during program conception Corrado Boehm Mon 26 June 2017
- Ordered Sets and Complete Lattices - A Primer for Computer Science Hilary A. Priestley Mon 26 June 2017
- Monotone Data Analysis Frameworks John B. Cam Jeffrey D. Ullman Mon 26 June 2017
- Binary Decision Diagrams Fabio Somenzi Mon 26 June 2017
- Better-quasi-order: ideals and spaces Yann Pequignot Mon 26 June 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
