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

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

Bibliographic Details
Main Authors: SAKAI, Masahiko, KUSAKARI, Keiichirou
Language:en
Published: IEICE 2005
Subjects:
termination
dependency pair
higher-order rewite system
dependency forest
Online Access:http://hdl.handle.net/2237/9579

Internet

http://hdl.handle.net/2237/9579

Similar Items