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
Search Result 1
Cover Image
by Bachmair, Leo
Published 1991
Book
Show all versions (2)