Login / Signup

Decidable Approximations of Term Rewriting Systems.

Florent Jacquemard
Published in: RTA (1996)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • first order logic
  • datalog programs
  • data model
  • transitive closure
  • function symbols