Leo Bachmair

Leo Bachmair is the author of "Rewriting Techniques and Applications" and "Canonical Equational Proofs".

Books by Leo Bachmair

Canonical Equatio...
Bachmair, Leo
Paperback: $99.00

Rewriting Techniq...
Bachmair Leo
Electronic book text: $99.00

Canonical Equatio...
Bachmair, Leo
Paperback:

Rewriting Techniq...
Bachmair Leo
Paperback: $54.99