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).