Categorification, term rewriting and the Knuth-Bendix procedure

• Autores: Tibor Beke
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 215, Nº 5, 2011, págs. 728-740
• Idioma: inglés
• Texto completo no disponible (Saber más ...)