On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems.

Masahiko Sakai Keiichirou Kusakari

Published in: IEICE Trans. Inf. Syst. (2005)

Keyphrases

pairwise
term rewrite systems
higher order
evaluation method
database systems
object oriented databases
rewrite systems