Login / Signup

Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.

Guillem GodoyAshish Tiwari
Published in: IJCAR (2004)
Keyphrases
  • rewrite systems
  • active rules
  • object oriented databases
  • active databases
  • term rewriting