Login / Signup

On the Modularity of Termination of Term Rewriting Systems.

Enno Ohlebusch
Published in: Theor. Comput. Sci. (1994)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • term rewriting
  • rewrite systems
  • knowledge base
  • community detection
  • active rules
  • machine learning
  • knowledge representation
  • management system