Canonical equational proofs /

Canonical equational proofs /

Bibliographic Details
Main Author: Bachmair, Leo
Format: Book
Language:English
Published: Boston : Birkhäuser, 1991
Boston : Birkhäuser, 1991
Boston : 1991
Boston : 1991
Series:Progress in theoretical computer science
Progress in theoretical computer science
Subjects:
Equations
Rewriting systems (Computer science)

Internet

Stanford University

Holdings details from Stanford University
Call Number: ISIL:US-CST
QA267 .B32 1991

University of Chicago

Holdings details from University of Chicago
Call Number: QA267.B320 1991

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: QA267.B32 1991

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number: QA 267 .B321 1991

Dartmouth College

Holdings details from Dartmouth College
Call Number: QA267 .B32 1991

Cornell University

Holdings details from Cornell University
Call Number: QA267 .B32x 1991

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number: QA267 .B32 1991

Brown University

Holdings details from Brown University
Call Number: QA267 .B32 1991

Similar Items