Term Rewriting in a Logic of Special Relations.

W. Marco Schorlemmer

Published in: AMAST (1998)

Keyphrases

term rewriting
rewrite systems
operational semantics
theorem prover
theorem proving
automated reasoning
knuth bendix
relation algebra
horn clauses
inference rules
modal logic
truth values
relational structures
formal semantics
artificial intelligence
algebraic structure
mental states