Login / Signup

Confluence of Right Ground Term Rewriting Systems Is Decidable.

Lukasz Kaiser
Published in: FoSSaCS (2005)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • function symbols
  • definite clause
  • logic programming
  • database
  • databases
  • database systems
  • general purpose
  • first order logic
  • transitive closure