Grammatical unification (Q789185): Difference between revisions

This paper presents a generalization of the concept of unification introduced by \textit{J. A. Robinson} [J. Assoc. Math. 12, 23-41 (1965; Zbl 0139.123)] for resolution logic. Unification is the central procedure for performing manipulation of symbolic structures in resolution theorem proving.