Login / Signup

Meta-rule Synthesis from Crossed Rewrite Systems.

Hélène KirchnerMiki 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