- The inhabitation problem for intersection types M W Bunder Mon 18 February 2013
- Word problem for Thue systems with a few relations Yuri Matiyasevich Mon 18 February 2013
- Finitary PCF is not decidable Ralph Loader Mon 18 February 2013
- Reasoning about sequential functions via logical relations Kurt Sieber Mon 18 February 2013
- Resolution d'equations dans les langages d'ordre 1, 2, ..., omega. Gerard Huet Sun 17 February 2013
- Lambda-Definability in the Full Type Hierarchy Gordon Plotkin Sun 17 February 2013
- Lambda-definability and Logical Relations Gordon Plotkin Sun 17 February 2013
- Inhabitation in typed lambda-calculi (a syntactic approach) Pawel Urzyczyn Sat 16 February 2013
- The Undecidability of łambda-Definability Ralph Loader Fri 15 February 2013
- On Statman's Finite Completeness Theorem Richard Statman Gilles Dowek Fri 15 February 2013
- Completeness, Invariance and łambda-Definability R. Statman Fri 15 February 2013
- Completeness in the Theory of Types Leon Henkin Thu 14 February 2013
- Petri Nets with Time and Cost Parosh Aziz Abdulla Richard Mayr Thu 14 February 2013
- Streaming bounds from difference ramification Andras Salamon Thu 14 February 2013
- An Efficient Unification Algorithm Alberto Martelli Ugo Montanari Tue 12 February 2013
- Higher Order Unification 30 Years Later Gerard P. Huet Tue 12 February 2013
- GAMES'13 - Champéry AAVV Mon 11 February 2013
- ømega-Petri nets Gilles Geeraerts Alexander Heußner M. Praveen Jean-François Raskin Sun 03 February 2013
- Automated temporal reasoning about reactive systems E. Allen Emerson Thu 31 January 2013
- Games on Pushdown Graphs and Extensions Thierry Cachat Thu 31 January 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
