Ushbu ish iqtibos qilgan ishlar

14 ta ish

Ish: Logical specifications of effectively separable data models

1. Homomorphisms onto effectively separable algebras

   N. Kh. Kasymov

   MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201621 iqtibos

   ABIABI:AkademIndex/2016.article.000113

2. Enumerated algebras with uniformly recursive-separable classes

   N. Kh. Kasymov

   Maqola199318 iqtibos

   ABIABI:AkademIndex/2026.other.407927

3. Separation axioms and partitions of the set of natural numbers

   N. Kh. Kasymov

   Maqola199315 iqtibos

   ABIABI:AkademIndex/2026.other.407930

4. A characterisation of computable data types by means of a finite equational specification method

   J. A. Bergstra, John V. Tucker

   Bob198013 iqtibos

   ABIABI:AkademIndex/2026.other.407920

5. $$\Pi^0_1$$ -Presentations of Algebras

   Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

   Maqola200612 iqtibos

   ABIABI:AkademIndex/2026.other.357714

6. ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS

   Uri Andrews, DANIEL F. BELIN, Luca San Mauro

   Maqola202211 iqtibos

   ABIABI:AkademIndex/2026.other.561319

7. Sarlavhasiz

   Boshqa10 iqtibos

   ABIABI:AkademIndex/2026.other.407935

8. Рекурсивно отделимые нумерованные алгебры

   Надим Хабибуллаевич Касымов, Надим Хабибуллаевич Касымов

   Maqola19968 iqtibos

   ABIABI:AkademIndex/2026.other.391811

9. Negative Dense Linear Orders

   N. Kh. Kasymov, R. N. Dadazhanov

   MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20178 iqtibos

   ABIABI:AkademIndex/2026.other.407933

10. Separable Algorithmic Representations of Classical Systems and Their Applications

    N. Kh. Kasymov, R. N. Dadazhanov, F. N. Ibragimov

    MaqolaOAOchiq kirishAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions20216 iqtibos

    ABIABI:AkademIndex/2021.article.001331

11. Finitely presented expansions of groups, semigroups, and algebras

    Bakhadyr Khoussainov, Alexei Miasnikov

    Maqola20136 iqtibos

    ABIABI:AkademIndex/2026.other.561318

12. $T_1$-separable numberings of subdirectly indecomposable algebras

    N. Kh. Kasymov, Andrey Morozov, I. A. Khodzhamuratova

    Maqola20215 iqtibos

    ABIABI:AkademIndex/2026.other.408878

13. Randomness, computability and algebraic specifications

    Bakhadyr Khoussainov

    Maqola19984 iqtibos

    ABIABI:AkademIndex/2026.other.561317

14. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/2026.other.587471