The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings.

Jan C. Verheul Peter G. Kluit

Published in: CTRS (1994)

Keyphrases

term rewriting
theorem prover
theorem proving
operational semantics
rewrite systems
knuth bendix
databases
knowledge representation
formal semantics
image details