Return to search

An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems

No description available.

1. http://hdl.handle.net/2237/9576
2. 0916-8532
3. IEICE Transactions on Information and Systems. v.E81-D, n.9, p.988-996

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/9576
Date	09 1900
Creators	IWAMI, Munehiro, SAKAI, Masahiko, TOYAMA, Yoshihito
Publisher	IEICE
Source Sets	Nagoya University
Language	English
Detected Language	English
Type	Article(publisher)
Rights	Copyright 1998 IEICE 許諾番号 08RB0027号