Higher-Order Equational Unification via Explicit Substitutions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Claude Kirchner, Christophe Ringeissen. Higher-Order Equational Unification via Explicit Substitutions. In Michael Hanus, Jan Heering, Karl Meinke, editors, Algebraic and Logic Programming, 6th International Joint Conference, ALP 97 - HOA 97, Southampton, U.K., Spetember 3-5, 1997, Proceedings. Volume 1298 of Lecture Notes in Computer Science, pages 61-75, Springer, 1997.

The following publications are possibly variants of this publication:

Higher Order Unification via Explicit SubstitutionsGilles Dowek, Thérèse Hardin, Claude Kirchner. iandc, 157(1-2):183-235, 2000.

Higher-Order Unification via Explicit Substitutions (Extended Abstract)Gilles Dowek, Thérèse Hardin, Claude Kirchner. lics 1995: 366-374

Unification via Explicit Substitutions: The Case of Higher-Order PatternsGilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning. ICLP 1996: 259-273

runs on WebDSL