×

Found 15 Documents (Results 1–15)

On decidability of the decomposability problem for finite theories. (English. Russian original) Zbl 1226.03022

Sib. Math. J. 51, No. 4, 667-674 (2010); translation from Sib. Mat. Zh. 51, No. 4, 838-847 (2010).
Reviewer: Nail Zamov (Kazan)
MSC:  03B25 68N17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field