Login / Signup
Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0.
Femke van Raamsdonk
Published in:
Theory Pract. Log. Program. (2004)
Keyphrases
</>
term rewriting
springer verlag
theorem prover
theorem proving
rewrite systems
operational semantics
knuth bendix
computer society
databases
computer science
san diego