Cover Image

Canonical equational proofs /

Show other versions (1)
Bibliographic Details
Main Author: Bachmair, Leo
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Boston : Birkhäuser, 1991.
Series:Progress in theoretical computer science.
Subjects:
Rewriting systems (Computer science)
Equations.
theorie preuve.
déduction automatique.
reecriture.
Réécriture, Systèmes de (Informatique)
Équations.
Réécriture, Systèmes de (informatique)
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987.
Electronic resource.
Physical Description:1 online resource (x, 135 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references (pages 117-127) and index.
ISBN:9781468471182 (electronic bk.)
146847118X (electronic bk.)