Sign in

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation.

John P. GallagherMads Rosendahl
Published in: LPAR (2008)
Keyphrases
  • term rewriting systems
  • horn clauses
  • logic programs
  • specification language
  • functional programs
  • databases
  • database systems
  • programming language