A proof theory for general unification
By: Wayne Snyder.
Series: Progress in computer science and applied logic ;; v. 11
Publisher: Birkhäuser
Published: 1991
Place of publication: Boston
Language: eng
Number of pages: 175
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references (p. [167]-175).