Login / Signup

Strictly orthogonal left linear rewrite systems and primitive recursion.

E. A. CichonElias Tahhan-Bittar
Published in: Ann. Pure Appl. Log. (2001)
Keyphrases
  • rewrite systems
  • term rewriting
  • knuth bendix
  • complex objects
  • deductive databases
  • active rules
  • quantifier free
  • autonomous agents