Strong completeness of a narrowing calculus for conditional rewrite systems with extra variables.

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

rewrite systems
term rewriting
quantifier free
theorem prover
real numbers
knuth bendix
conditional probabilities
theorem proving
operational semantics
active rules
information systems
database systems
programming language
function symbols