Higher-order Unification via Explicit Substitutions (Extended Abstract) (1995)

Cached

Download Links

by Gilles Dowek , Thérèse Hardin , Claude Kirchner
Venue:Proceedings of LICS'95
Citations:103 - 13 self

Active Bibliography

30 HOL-λσ: an intentional first-order expression of higher-order logic – Gilles Dowek, Thérèse Hardin , Claude Kirchner - 1999
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
75 Theorem Proving Modulo – Gilles Dowek, Thérèse Hardin, Claude Kirchner
20 Combining Higher-Order and First-Order Computation Using ρ-calculus: Towards a Semantics of ELAN – Horatiu Cirstea, Claude Kirchner - 1999
3 Explicit Substitutions and All That – Mauricio Ayala-Rincón, Cesar Muñoz - 2000
25 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
1 Conditional Equational Theories and Complete Sets of Transformations – Steffen Hölldobler, Technische Hochschule Darmstadt
1 Collections, Sets and Types – Gilles Dowek - 1995
5 A Methodological View of Constraint Solving – Hubert Comon, Mehmet Dincbas, Jean-pierre Jouannaud, Claude Kirchner - 1996
Under consideration for publication in Theory and Practice of Logic Programming 1 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
8 Unification and Matching modulo Nilpotence – Qing Guo, Paliath Narendran - 1996
Des Preuves Incompl`etes Aux – Termes Incomplets, Inria Rocquencourt, Le Chesnay Cedex
1 Proof Representation in Type Theory: State of the Art – Esar Mu, Inria Rocquencourt - 1996
5 Proof Representation in Type Theory: State of the Art – César A. Muñoz - 1996
81 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
unknown title – unknown authors