2 treff
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2000
Canonical equational proofs
Leo Bachmair
Bok Engelsk 1991