- Rational Graphs Trace Context-Sensitive Languages Christophe Morvan Colin Stirling Mon 24 February 2014
- Left-most Derivation and Shadow-pushdown Automata for Context-sensitive Languages Benedek Nagy Mon 24 February 2014
- Translations on a Context Free Grammar A. V. Aho J. D. Ullman Sun 23 February 2014
- The Complexity of Model Checking Multi-stack Systems B. Bollig D. Kuske R. Mennicke Sun 23 February 2014
- Advanced Automata Minimization Lorenzo Clemente Richard Mayr Sat 22 February 2014
- Reachability of Communicating Timed Processes Lorenzo Clemente Frédéric Herbreteau Amélie Stainer Grégoire Sutre Sat 22 February 2014
- Prolongement des jeux à deux joueurs de somme nulle. Une théorie abstraite des duels Herve Moulin Fri 21 February 2014
- A Type-directed Abstraction Refinement Approach to Higher-order Model Checking Steven J. Ramsay Robin P. Neatherway C.-H. Luke Ong Wed 19 February 2014
- On Algorithms for Simple Stochastic Games Anne Condon Wed 19 February 2014
- New Results on Simple Stochastic Games Decheng Dai Rong Ge Wed 19 February 2014
- On deciding the confluence of a finite string-rewriting system on a given congruence class Friedrich Otto Wed 19 February 2014
- On the Complexity of a Problem on Monadic String Rewriting Systems Ferucio Laurenţiu Ţiplea Erkki Makinen Wed 19 February 2014
- Extensive games and the problem of information H. W. Kuhn Sun 16 February 2014
- On Strategy Improvement Algorithms for Simple Stochastic Games Rahul Tripathi Elena Valkanova V. S. Anil Kumar Sun 16 February 2014
- On strategy improvement algorithms for simple stochastic games Rahul Tripathi Elena Valkanova V.S. Anil Kumar Sun 16 February 2014
- Canonical Progress Measures for Parity Games Konstantinos Mamouras Sun 16 February 2014
- A reduction from parity games to simple stochastic games Krishnendu Chatterjee Nathanael Fijalkow Sun 16 February 2014
- Deciding the winner in parity games is in UPąpco-UP Marcin Jurdziński Sun 16 February 2014
- Ordered field property for stochastic games when the player who controls transitions changes from state to state J.A. Filar Sun 16 February 2014
- HMC: Verifying Functional Programs Using Abstract Interpreters Ranjit Jhala Rupak Majumdar Andrey Rybalchenko Thu 13 February 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
