A note on termination in combinatiosn of heterogeneous term rewriting systems.

Harald Ganzinger Robert Giegerich

Published in: Bull. EATCS (1987)

Keyphrases

term rewriting systems
logic programs
functional programs
management system
relational database systems
heterogeneous networks
term rewriting