Canonical equational proofs
By: Leo Bachmair.
Series: Progress in theoretical computer science
Publisher: Birkhäuser
Published: 1991
Place of publication: Boston
Language: eng
Number of pages: 135
Subjects: Rewriting systems (Computer science); Equations.
Notes: Includes bibliographical references (p. 117-127) and index.
Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987.