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.

A General Complete ::::E::::-Unification Procedure

Jean H. Gallier, Wayne Snyder. A General Complete ::::E::::-Unification Procedure. In Pierre Lescanne, editor, Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings. Volume 256 of Lecture Notes in Computer Science, pages 216-227, Springer, 1987.

Authors

Jean H. Gallier

This author has not been identified. Look up 'Jean H. Gallier' in Google

Wayne Snyder

This author has not been identified. Look up 'Wayne Snyder' in Google
runs on