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.
Jean H. Gallier, Wayne Snyder. Complete Sets of Transformations for General E-Unification. Theoretical Computer Science, 67(2&3):203-260, 1989.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Higher-Order Unification Revisited: Complete Sets of TransformationsWayne Snyder, Jean H. Gallier. JSC, 8(1/2):101-140, 1989. A General Complete ::::E::::-Unification ProcedureJean H. Gallier, Wayne Snyder. RTA 1987: 216-227
The following publications are possibly variants of this publication: