- Complementing Unary Nondeterministic Automata Filippo Mera Giovanni Pighizzini Thu 23 January 2014
- Finite Automata and Unary Languages M Chrobak Thu 23 January 2014
- Unary Context-Free Grammars and Pushdown Automata, Descriptional Complexity and Auxiliary Space Lower Bounds Giovanni Pighizzini Jeffrey Shallit Ming-wei Wang Thu 23 January 2014
- Unary Finite Automata vs. Arithmetic Progressions Anthony Widjaja To Thu 23 January 2014
- Energy and Mean-payoff Parity Markov Decision Processes Krishnendu Chatterjee Laurent Doyen Thu 23 January 2014
- Emptiness Of Alternating Tree Automata Using Games With Imperfect Information. Nathanael Fijalkow Sophie Pinchinat Olivier Serre Tue 21 January 2014
- Qualitative Tree Languages Arnaud Carayol Axel Hadda Olivier Serre Tue 21 January 2014
- Recursively enumerable sets of positive integers and their decision problems Emil L. Post Tue 21 January 2014
- Classes of recursively enumerable sets and their decision problems H. G. Rice Tue 21 January 2014
- Degrees of Computability Norman Shapiro Tue 21 January 2014
- Fast Convergence to State-action Frequency Polytopes for MDPs Mathieu Tracol Tue 21 January 2014
- Hoeffding's inequality for uniformly ergodic Markov chains Peter W. Glynn Dirk Ormoneit Tue 21 January 2014
- The Complexity of Solving Stochastic Games on Graphs Daniel Andersson Peter Bro Miltersen Mon 20 January 2014
- Verification of Probabilistic Systems with Faulty Communication P. A. Abdulla N. Bertrand A. Rabinovich Ph. Schnoebelen Sun 19 January 2014
- On Verifying Fair Lossy Channel Systems Benoît Masson Ph. Schnoebelen Fri 17 January 2014
- Undecidable Problems in Unreliable Computations Richard Mayr Fri 17 January 2014
- Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems Ph. Schnoebelen Fri 17 January 2014
- Rewriting preserving recognizability of finite tree languages Sándor Vágvølgyi Thu 16 January 2014
- Losing Recognizability Sándor Vágvølgyi Thu 16 January 2014
- Decidable call-by-need computations in term rewriting Irène Durand Aart Middeldorp Thu 16 January 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
