| | Books 1 - 4 of 4 | Previous | Next | 
|  | | Canonical Equational Proofs (Progress in Theoretical Computer Science)
by Leo Bachmair
Hardcover, 135 Pages, Published 1991 by Birkhauser
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Rewriting Techniques and Applications: th International Conference, RTA 2000, Norwich, UK, July 0-2, 2000 Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Leo Bachmair (Editor)
Paperback, 273 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Termination orderings for associative commutative rewriting systems (Report / UIUCDCS-R-84-1179)
by Leo Bachmair
Unknown Binding, 31 Pages, Published 1984 by Dept. of Computer Science, University of Illinois at Urbana-Champaign
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Equational inference, canonical proofs, and proof orderings (Report)
by Leo Bachmair
Unknown Binding, 39 Pages, Published 1992 by Dept. of Computer Science, University of Illinois at Urbana-Champaign
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 4 of 4 | Previous | Next |
|