- Functions over free algebras definable in the simply typed lambda calculus Daniel Leivant Fri 02 March 2012
- Fixed-parameter tractability and completeness II: On completeness for W[1] Rod G. Downey Michael R. Fellows Fri 02 March 2012
- Strong categorical datatypes II: A term logic for categorical programming J.Robin B. Cockett Dwight Spencer Fri 02 March 2012
- Variétés et fonctions rationnelles Christophe Reutenauer Marcel-Paul Schützenberger Fri 02 March 2012
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra David E. Muller Paul E. Schupp Fri 02 March 2012
- Paths, computations and labels in the łambda-calculus Andrea Asperti Cosimo Laneve Fri 02 March 2012
- A co-induction principle for recursively defined domains Andrew M Pitts Fri 02 March 2012
- Head linear reduction and pure proof net extraction G.F. Mascari M. Pedicini Fri 02 March 2012
- Model checking and boolean graphs Henrik Reif Andersen Fri 02 March 2012
- CTLast and ECTLast as fragments of the modal mu-calculus Mads Dam Fri 02 March 2012
- Local languages and the Berry-Sethi algorithm Jean Berstel Jean-Eric Pin Fri 02 March 2012
- Precedences in specifications and implementations of programming languages Annika Aasa Fri 02 March 2012
- A shrinking lemma for indexed languages Robert H. Gilman Fri 02 March 2012
- Differential automata and their discrete simulators Lucio Tavernini Fri 02 March 2012
- The if-problem in automatic differentiation Thomas Beck Herbert Fischer Fri 02 March 2012
- A note on Dowling and Galliertextquotesingles top-down algorithm for propositional Horn satisfiability Maria Grazia Scutellà Fri 02 March 2012
- Solving the incremental satisfiability problem J.N. Hooker Fri 02 March 2012
- Constructing type systems over an operational semantics Robert Harper Fri 02 March 2012
- A problem that is easier to solve on the unit-cost algebraic RAM Prasoon Tiwari Fri 02 March 2012
- Type theories, normal forms, and Dinfty-lambda-models M. Coppo M. Dezani-Ciancaglini M. Zacchi Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
