On decidability of the decomposability problem for finite theories

Author: Morozov Andrey   Ponomaryov Denis  

Publisher: Springer Publishing Company

ISSN: 0037-4466

Source: Siberian Mathematical Journal, Vol.51, Iss.4, 2010-07, pp. : 667-674

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract