A Combinatory Logic Approach to Higher-order E-unification (1992)

Cached

Download Links

by Daniel J. Dougherty , Patricia Johann
Venue:in Proceedings of the Eleventh International Conference on Automated Deduction, Springer-Verlag LNAI 607
Citations:9 - 3 self

Active Bibliography

9 Higher-Order Unification via Combinators – Daniel J. Dougherty - 1993
19 Open Problems in Rewriting – Nachum Dershowitz, Jean-pierre Jouannaud, Jan Willem Klop - 1991
14 Termination and confluence of higher-order rewrite systems – Frédéric Blanqui - 2000
20 Combining Higher-Order and First-Order Computation Using ρ-calculus: Towards a Semantics of ELAN – Horatiu Cirstea, Claude Kirchner - 1999
8 Modularity of Strong Normalization in the Algebraic-λ-cube – Franco Barbanera, Maribel Fernández, Herman Geuvers - 1996
44 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 1997
Author manuscript, published in "Theoretical Computer Science (2002)" DOI: 10.1016/S0304-3975(00)00347-9 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 2013
16 A Logic Programming Approach to Implementing Higher-Order Term Rewriting – Amy Felty - 1992
84 Combinatory Reduction Systems: introduction and survey – Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk - 1993
19 Higher-order narrowing – Christian Prehofer - 1994
1 A Combinator-based Order-sorted Higher-order Unification Algorithm – Patricia Johann, Fachbereich Informatik - 1993
13 Lazy Unification with Simplification – Michael Hanus - 1994
11 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern, David Plaisted - 2007
30 Matching Power – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
Integrating Paradigms via Interaction Nets (Extended Abstract) – M. Fernandez, Ian Mackie
Rewrite Systems with Abstraction and β-rule: Types, Approximants and Normalization – Steffen Van Bakel, Franco Barbanera, Maribel Fernández
1 Representing Unification in a Logical Framework – Lincoln Wallen, Fachgebiet Intellektik, Fachbereich Informatik, Jason Brown, Jason Brown - 1996
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
4 Operational and Axiomatic Semantics of PCF – Brian T. Howard, John C. Mitchell - 1990