Login / Signup

Compilation of Ground Term Rewriting Systems and Applications.

Max DauchetAline Deruyver
Published in: RTA (1989)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • definite clause
  • databases
  • general purpose
  • programming language
  • knowledge compilation