LCS Publication Details
Publication Title: ON THE SEQUENTIAL NATURE OF UNIFICATION
Publication Author: Dwork, Cynthia
Additional Authors: Kanellakis, Paria C. and Mitchell, John C.
LCS Document Number: MIT-LCS-TM-257
Publication Date: 3-1-1984
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
The problem of unification of terms is log-space complete for P. In deriving this lower bound no use is made of the potentially concise representation of terms by directed acyclic graphs. In addition, the problem remains complete even if finite substitutions are allowed.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.