|
| Books 1 - 9 of 9 | Previous | Next |
|
 | | Canonical Equational Proofs (Progress in Computer Science and Applied Logic)
by Leo Bachmair
Hardcover, 135 Pages, Published 1991 by Birkhauser Verlag AG
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, UK, July 10-12, 2000: Proceedings (Lecture Notes in Computer Science)
by Leo Bachmair (Editor)
Paperback, 273 Pages, Published 2000 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | 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 |
|
 | | Ordered Chaining Calculi for First-Order Theories of Binary Relations (Research report)
by Leo Bachmair, Harald Ganzinger
Unknown Binding, 42 Pages, Published 1995 by Max-Planck-Institut für Informatik
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Elimination of Equality Via Transformation With Ordering Constraints (Research report)
by Leo Bachmair, H. Ganzinger, A. Voronkov
Paperback, 18 Pages, Published 1997 by Max-Planck-Institut für Informatik
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 |
|
 | | A Theory of Resolution (Research report)
by Leo Bachmair, H. Ganzinger
Paperback, 79 Pages, Published 1997 by Max-Planck-Institut für Informatik
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 |
|
 | | Strict Basic Superposition and Chaining (Research report)
by Leo Bachmair, H. Ganzinger
Paperback, 22 Pages, Published 1997 by Max-Planck-Institut für Informatik
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 9 of 9 | Previous | Next |