On Termination and Confluence of Conditional Rewrite Systems.

Bernhard Gramlich

Published in: CTRS (1994)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
conditional probabilities
business processes
theorem proving
operational semantics