| Shelfclass_id | 4.B.3 |
| Sortkey | BACHMAIR, LEO |
| Authors | Leo Bachmair |
| Title | Canonical Equational Proofs |
| Publisher | Birkhäuser |
| Year | 1991 |
| Languages | eng |
| Isbn | 0817635556, 3764335556 |
| Series | Progress in theoretical computer science |
| Description | x, 135 p. ill. 24 cm. |
| Record date | 20100122 |
| Location | Boston |
| Keywords | Rewriting systems (Computer science), Equations |
| Notes | Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987. |