Login / Signup
Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.
Guillem Godoy
Ashish Tiwari
Published in:
IJCAR (2004)
Keyphrases
</>
rewrite systems
active rules
object oriented databases
active databases
term rewriting