Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem.

Christoph Lüth

Published in: RTA (1996)

Keyphrases

term rewriting
theorem prover
theorem proving
interactive theorem proving
knuth bendix
rewrite systems
first order logic
operational semantics
inference rules
natural deduction
von neumann
training data
multi agent
knowledge representation