Login / Signup

Decidability of confluence for ground term rewriting systems.

Max DauchetSophie Tison
Published in: FCT (1985)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • description logics
  • query answering
  • definite clause
  • logic programming
  • type checking