Login / Signup
Semantics for Positive/Negative Conditional Rewrite Systems.
Klaus Becker
Published in:
CTRS (1992)
Keyphrases
</>
rewrite systems
positive and negative
term rewriting
active rules
quantifier free
knuth bendix
theorem prover
theorem proving
active databases
integrity constraints
deductive databases
operational semantics
database
expert systems
formal semantics