Canonical equational proofs [electronic resource] / Leo Bachmair.

Equations occur in many computer applications, such as symbolic compu℗Ư tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Bachmair, Leo
Format:	Electronic eBook
Language:	English
Published:	Boston : Birkhäuser, 1991.
Series:	Progress in theoretical computer science.
Subjects:	Rewriting systems (Computer science) Equations.