Research Catalog
Canonical equational proofs
- Title
- Canonical equational proofs / Leo Bachmair.
- Author
- Bachmair, Leo.
- Publication
- Boston : Birkhäuser, 1991.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 92-1589 | Offsite |
Details
- Description
- x, 135 p. : ill.; 24 cm.
- Series Statement
- Progress in theoretical computer science
- Subject
- Note
- Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987.
- Bibliography (note)
- Includes bibliographical references (p. 117-127) and index.
- Call Number
- JSE 92-1589
- ISBN
- 0817635556 (alk. paper)
- 3764335556 (alk. paper)
- LCCN
- 91011461
- OCLC
- 23768554
- NYPG92-B72605
- Author
- Bachmair, Leo.
- Title
- Canonical equational proofs / Leo Bachmair.
- Imprint
- Boston : Birkhäuser, 1991.
- Series
- Progress in theoretical computer science
- Bibliography
- Includes bibliographical references (p. 117-127) and index.
- Research Call Number
- JSE 92-1589