Releases by Leo Bachmair

In stock at iMusic Show unavailable items

Cover for Leo Bachmair · Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000: Proceedings - Lecture Notes in Computer Science (Paperback Book) (2000)

Rewriting Techniques and Applica... (2000)

Cover for Leo Bachmair · Canonical Equational Proofs - Progress in Theoretical Computer Science (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1991 edition] (1991)

Softcover Reprint of the Original 1st Ed. 1991 edition

Canonical Equational Proofs - Pr... (1991)