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

• Autores: Masahiko Sakai
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 84, Nº 8, 2001, págs. 1025-1032
• Idioma: inglés
• Texto completo no disponible (Saber más ...)