Return to search

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

No description available.

1. http://hdl.handle.net/2237/9579
2. 0916-8532
3. IEICE Transactions on Information and Systems. v.E88-D, n.3, p.583-593

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/9579
Date	03 1900
Creators	SAKAI, Masahiko, KUSAKARI, Keiichirou
Publisher	IEICE
Source Sets	Nagoya University
Language	English
Detected Language	English
Type	Article(publisher)
Rights	Copyright 2005 IEICE 許諾番号 08RB0027号