Login / Signup

Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems.

Enno Ohlebusch
Published in: LPAR (1999)
Keyphrases
  • rewrite systems
  • expert systems
  • knowledge based systems
  • management system
  • term rewriting
  • quantifier free
  • logic programming
  • autonomous agents