- Call with Current Continuation Patterns Darrell Ferguson Dwight Deugo Fri 01 March 2013
- The mechanical evaluation of expressions Peter Landin Fri 01 March 2013
- Some Properties of Conversion Alonzo Church J. B. Rosser Wed 27 February 2013
- On Theories with a Combinatorial Definition of Equivalence M. H. A. Newman Wed 27 February 2013
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems Gérard Huet Wed 27 February 2013
- Notes on Simply Typed Lambda Calculus Ralph Loader Tue 26 February 2013
- Logical Relations Andrzej Murawski Tue 26 February 2013
- High level tree transducers and iterated pushdown tree transducers Joost Engelfriet Heiko Vogler Tue 26 February 2013
- Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations Joost Engelfriet Sebastian Maneth Tue 26 February 2013
- Macro Tree Transducers Joost Engelfriet Heiko Vogler Tue 26 February 2013
- A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes Mourad Debbabi Abdelkader Benzakour Béchir Ktari Tue 26 February 2013
- Reachability of Communicating Timed Processes Lorenzo Clemente Frédéric Herbreteau Amelie Stainer Grégoire Sutre Tue 26 February 2013
- Advanced automata minimization Richard Mayr Lorenzo Clemente Tue 26 February 2013
- Proof of normalisation using domain theory Thierry Coquand Arnaud Spivak Mon 25 February 2013
- Discrete polymorphism Daniel Leivant Mon 25 February 2013
- Temporal-Safety Proofs for Systems Code Thomas A. Henzinger Ranjit Jhala Rupak Majumdar George C. Necula Grégoire Sutre Westley Weimer Mon 25 February 2013
- Time and alternation: an automata based framework to software model checking Abdelaziz Fellah Mon 25 February 2013
- A theory of type polymorphism in programming Robin Milner Sun 24 February 2013
- Types as models: model checking message-passing programs Sagar Chaki Sriram K. Rajamani Jakob Rehof Sun 24 February 2013
- A technique of state space search based on unfolding K. L. McMillan Fri 22 February 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
