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