Canonical equational proofs /

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.