Browse by Keywords -

Select the first letter of the keywords to browse

There are 2 record/s using the keyword/s: e-unification.

View 25 / 50 / ALL records per page.

TitleDateCreatorPublication TypeInstitution
A Combinatory Logic Approach To Higher-order E-unification1995Johann, Patricia FacultyComputer Science, ASU
An Improved General E-unification Method1992Johann, Patricia FacultyComputer Science, ASU