Login / Signup
Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors.
Masahito Kurihara
Azuma Ohuchi
Published in:
Theor. Comput. Sci. (1992)
Keyphrases
</>
term rewriting systems
database
machine learning
description logics
logic programs
functional programs