A Higher-Order Knuth-Bendix Procedure and Its Applications

• Autores: Keiichirou Kusakari, Yuki Chiba
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 90, Nº 4, 2007, págs. 707-715
• Idioma: inglés
• Texto completo no disponible (Saber más ...)