Login / Signup

The Church-Rosser Property for Ground Term-Rewriting Systems is Decidable.

Michio Oyamaguchi
Published in: Theor. Comput. Sci. (1987)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • definite clause
  • databases
  • function symbols