← Ishga qaytish
Ushbu ish iqtibos qilgan ishlar
7 ta ish
Ish: T1-Separable Numberings of Subdirectly Indecomposable Algebras
$$\Pi^0_1$$ -Presentations of Algebras
Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin
Maqola200612 iqtibosABIРекурсивно отделимые нумерованные алгебры
Надим Хабибуллаевич Касымов, Надим Хабибуллаевич Касымов
Maqola19968 iqtibosABIComputably Separable Models
N. Kh. Kasymov, F. N. Ibragimov
MaqolaOchiq kirishComputability, Logic, AI AlgorithmsContemporary Mathematics Fundamental Directions20181 iqtibosABI