- An Order Semantics for Non-Deterministic Recursive Program Schemes Axel Poigné Wed 29 January 2014
- Parameter passing in nondeterministic recursive programs David B. Benson Wed 29 January 2014
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness II Jean H. Gallier Wed 29 January 2014
- Regularity and Related Problems for Deterministic Pushdown Automata Leslie G. Valiant Wed 29 January 2014
- Linearity is polynomially decidable for realtime pushdown store automata S.A. Greibach Wed 29 January 2014
- On Rational Trees Arnaud Carayol Christophe Morvan Wed 29 January 2014
- Approximating the termination value of one-counter MDPs and stochastic games Tomáš Brázdil Václav Brożek Kousha Etessami Antonín Kučera Wed 29 January 2014
- Deterministic context free languages Seymour Ginsburg Sheila Greibach Wed 29 January 2014
- The Lazy Lambda Calculus Samson Abramsky Wed 29 January 2014
- Testing and generating infinite sequences by a finite automaton Robert McNaughton Tue 28 January 2014
- Outline of a mathematical theory of computation Dana Scott Tue 28 January 2014
- Adherences of languages Luc Boasson Maurice Nivat Tue 28 January 2014
- Lower Bounds for Selection in X + Y and Other Multisets Donald B. Johnson Samuel D. Kashdan Tue 28 January 2014
- On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems Alfons Geser Dieter Hofbauer Johannes Waldmann Hans Zantema Tue 28 January 2014
- Automata in general algebras Samuel Eilenberg Jesse B. Wright Mon 27 January 2014
- On Proving term rewriting systems are Noetherian Dallas Lankford Mon 27 January 2014
- Une généralisation de la théorie des types en lambda-calcul Patrick Sallé Mon 27 January 2014
- A name-free lambda calculus with facilities for internal definition of expressions and segments N. G. de Bruijn Mon 27 January 2014
- Concerning the Syntax of ALGOL 68 Claude Pair Mon 27 January 2014
- Alcune proprieta delle forme beta-eta normali nel lambda-K calcolo Corrado Boehm Mon 27 January 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
