Login / Signup
Decomposable Termination of Composable Term Rewriting Systems.
Masahito Kurihara
Azuma Ohuchi
Published in:
IEICE Trans. Inf. Syst. (1995)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
np complete
term rewriting
rewrite systems
active rules
databases
logic programming
complex objects
active databases