Confluence of Conditional Rewrite Systems.

Nachum Dershowitz Mitsuhiro Okada G. Sivakumar

Published in: CTRS (1987)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem prover
theorem proving
database
probabilistic model
software engineering