Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting

• Autores: Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 88, Nº 12, 2005, págs. 2715-2726
• Idioma: inglés
• Texto completo no disponible (Saber más ...)