- Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy Thu 27 February 2014
- Cramming More Components Onto Integrated Circuits G.E. Moore Wed 26 February 2014
- On the property of preserving regularity for string-rewriting systems Friedrich Otto Tue 25 February 2014
- Sequentiality, Monadic Second-Order Logic and Tree Automata Hubert Comon Tue 25 February 2014
- On the Generative Power of Multiple Context-Free Grammars and Macro Grammars Hiroyuki Seki Yuki Kato Mon 24 February 2014
- Context-Sensitive Languages, Rational Graphs and Determinism Arnaud Carayol Antoine Meyer Mon 24 February 2014
- Decidable approximations of sets of descendants and sets of normal forms Thomas Genet Mon 24 February 2014
- Defining liveness Bowen Alpern Fred B. Schneider Mon 24 February 2014
- Hundreds of Impossibility Results for Distributed Computing Faith Fich Eric Ruppert Mon 24 February 2014
- A Hundred Impossibility Proofs for Distributed Computing N. Lynch Mon 24 February 2014
- A Temporal Logic for Proving Properties of Topologically General Executions Rachel Ben-Eliyahu Menachem Magidor Mon 24 February 2014
- Defining Fairness in Reactive and Concurrent Systems Hagen Vølzer Daniele Varacca Mon 24 February 2014
- Defining Fairness Hagen Vølzer Daniele Varacca Ekkart Kindler Mon 24 February 2014
- Shortest Paths Algorithms: Theory and Experimental Evaluation Boris V. Cherkassky Andrew V. Goldberg Tomasz Radzik Mon 24 February 2014
- Stochastic Shortest Path Games: Theory and Algorithms Stephen David Patek Mon 24 February 2014
- Suboptimality Bounds for Stochastic Shortest Path Problems Eric A. Hansen Mon 24 February 2014
- Stochastic Shortest Path Games Stephen D. Patek Dimitri P. Bertsekas Mon 24 February 2014
- On Multi-stack Visibly Pushdown Languages Salvatore La Torre Margherita Napoli Gennaro Parlato Mon 24 February 2014
- On external presentations of infinite graphs Christophe Morvan Mon 24 February 2014
- Traces of term-automatic graphs Antoine Meyer Mon 24 February 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
