Recognition complexity of theories and their computational expressivity

• Autores: I. V. Latkin
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 51, Nº. 2, 2012, págs. 144-159
• Idioma: inglés
• DOI: 10.1007/s10469-012-9178-5
• Texto completo no disponible (Saber más ...)