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

Masahito Kurihara Azuma Ohuchi

Published in: Theor. Comput. Sci. (1992)

Keyphrases

logic programs

functional programs