An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems

Autor:	IWAMI, Munehiro, SAKAI, Masahiko, TOYAMA, Yoshihito
Jazyk:	angličtina
Rok vydání:	1998
Předmět:	higher-order rewrite system term rewriting system termination improved recursive decomposition ordering pseudoterminal occurrence type simplification ordering
Druh dokumentu:	Article(publisher)
ISSN:	0916-8532
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://hdl.handle.net/2237/9576 Zobrazit plný text záznamu