Counterexamples to Termination for the Direct Sum of Term Rewriting Systems.

Yoshihito Toyama

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

Keyphrases

term rewriting systems
logic programs
functional programs
databases
general purpose
artificial intelligence
high level
objective function
management system
data management