External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

NARROWER: A New Algorithm for Unification and Its Application to Logic Programming

Pierre Réty, Claude Kirchner, Hélène Kirchner, Pierre Lescanne. NARROWER: A New Algorithm for Unification and Its Application to Logic Programming. In Jean-Pierre Jouannaud, editor, Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings. Volume 202 of Lecture Notes in Computer Science, pages 141-157, Springer, 1985.

Authors

Pierre Réty

This author has not been identified. Look up 'Pierre Réty' in Google

Claude Kirchner

Identified as Claude Kirchner

Hélène Kirchner

This author has not been identified. It may be one of the following persons: Look up 'Hélène Kirchner' in Google

Pierre Lescanne

This author has not been identified. Look up 'Pierre Lescanne' in Google
runs on