Return to search

An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems

No description available.

1. http://hdl.handle.net/2237/9578
2. 0916-8532
3. IEICE Transactions on Information and Systems. v.E84-D, n.8, p.1025-1032

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