Login / Signup

Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors.

Masahito KuriharaAzuma Ohuchi
Published in: Theor. Comput. Sci. (1992)
Keyphrases
  • term rewriting systems
  • database
  • machine learning
  • description logics
  • logic programs
  • functional programs