Cover Image

Canonical equational proofs /

Show other versions (1)
Bibliographic Details
Main Author: Bachmair, Leo
Format: Book
Language:English
Published: Boston : Birkhäuser, 1991.
Series:Progress in theoretical computer science.
Subjects:
Rewriting systems (Computer science)
Equations.
Description
Item Description:Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987.
Physical Description:x, 135 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages 117-127) and index.
ISBN:0817635556 (alk. paper)
3764335556 (alk. paper)