Login / Signup

Lifting Term Rewriting Derivations in Constructor Systems by Using Generators.

Adrián RiescoJuan Rodríguez-Hortalá
Published in: PROLE (2014)
Keyphrases
  • term rewriting
  • management system
  • intelligent systems
  • logic programs
  • expert systems
  • distributed systems
  • rewrite systems