Transformations of Conditional Rewrite Systems Revisited.

Karl Gmeiner Bernhard Gramlich

Published in: WADT (2008)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem prover
theorem proving
artificial intelligence
operational semantics
probabilistic model