Login / Signup
On Termination of One Rule Rewrite Systems.
Pierre Lescanne
Published in:
Theor. Comput. Sci. (1994)
Keyphrases
</>
rewrite systems
active rules
term rewriting
active databases
quantifier free
knuth bendix
termination analysis
integrity constraints
theorem proving
object oriented databases
theorem prover
control flow
information systems
model checking
classification rules