Modular Term Rewriting Systems and the Termination.

Masahito Kurihara Ikuo Kaji

Published in: Inf. Process. Lett. (1990)

Keyphrases

term rewriting systems
logic programs
functional programs
modular structure
term rewriting
multi agent
database
active rules