A Path Ordering for Proving Termination of Term Rewriting Systems.

Deepak Kapur Paliath Narendran G. Sivakumar

Published in: TAPSOFT, Vol.1 (1985)

Keyphrases

term rewriting systems
term rewrite systems
logic programs
functional programs
shortest path
database
data model
data integration
partial order
term rewriting