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