Login / Signup
Meta-rule Synthesis from Crossed Rewrite Systems.
Hélène Kirchner
Miki Hermann
Published in:
CTRS (1990)
Keyphrases
</>
rewrite systems
active rules
term rewriting
active databases
knuth bendix
quantifier free
rule sets
databases
object oriented databases
production rules