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
• DOI: 10.1016/j.jpaa.2010.06.019
• Texto completo no disponible (Saber más ...)