Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages).

Paliath Narendran

Published in: SIGACT News (2000)

Keyphrases

term rewriting
theorem proving
theorem prover
website
rewrite systems
operational semantics
search engine
knuth bendix
web pages
computational properties
web users
web documents
link structure
keywords
inference rules
description logics
relational databases
web graph
page layout
databases