On simultaneous rigid E-unification
By: Margus Veanes.
Series: Uppsala theses in computing science,; 29
Publisher: Uppsala University, Computing Science Dept.
Published: 1997
Place of publication: Uppsala, Sweden
Language: eng
Number of pages: 122
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references (p. 106-119) and index.
Thesis (Ph.D.)--Uppsala University, 1997.