Login / Signup

Decidability of Reachability for Disjoint Union of Term Rewriting Systems.

Anne-Cécile CaronJean-Luc Coquidé
Published in: Theor. Comput. Sci. (1994)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • description logics
  • pairwise
  • query answering
  • transitive closure
  • state space
  • decision procedures
  • knowledge base
  • databases