Login / Signup

Decidability for Left-Linear Growing Term Rewriting Systems.

Takashi NagayaYoshihito Toyama
Published in: Inf. Comput. (2002)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • description logics
  • knowledge base
  • query answering