Advanced Search
DSpace@MIT

A Useful Algebraic Property of Robinson's Unification Algorithm

Research and Teaching Output of the MIT Community

Files in this item

Name Size Format Description
AIM-091.ps 1.801Mb Postscript
AIM-091.pdf 105.6Kb PDF

This item appears in the following Collection(s)

MIT-Mirage