On decidability of the decomposability problem for finite theories

• Autores: Andrey S. Morozov, Denis K. Ponomaryov
• Localización: Siberian mathematical journal, ISSN 0037-4466, Vol. 51, Nº. 4, 2010, págs. 667-674
• Idioma: inglés
• DOI: 10.1007/s11202-010-0068-6
• Texto completo no disponible (Saber más ...)