Asosiy kontentga oʻtish
AkademIndex

Xizmatlar

← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

19 ta ish

Ish: On specifications of positive data models with effectively separable kernels of algorithmic representations

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201621 iqtibos
    ABI

  2. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Maqola199618 iqtibos
    ABI

  3. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Maqola199318 iqtibos
    ABI

  4. Algebras over negative equivalences

    N. Kh. Kasymov

    Maqola199415 iqtibos
    ABI

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

    N. Kh. Kasymov

    Maqola199315 iqtibos
    ABI

  6. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Maqola199214 iqtibos
    ABI

  7. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Maqola199214 iqtibos
    ABI

  8. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic201613 iqtibos
    ABI

  9. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Maqola199113 iqtibos
    ABI

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

    Uri Andrews, DANIEL F. BELIN, Luca San Mauro

    Maqola202211 iqtibos
    ABI

  11. Sarlavhasiz

    Boshqa10 iqtibos
    ABI

  12. Negative Dense Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20178 iqtibos
    ABI

  13. Separable Algorithmic Representations of Classical Systems and Their Applications

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

    MaqolaOchiq kirishAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions20216 iqtibos
    ABI

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

    Bakhadyr Khoussainov, Alexei Miasnikov

    Maqola20136 iqtibos
    ABI

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

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

    Maqola20215 iqtibos
    ABI

  16. Randomness, computability and algebraic specifications

    Bakhadyr Khoussainov

    Maqola19984 iqtibos
    ABI

  17. Computability and Universal Determinability of Negatively Representable Models

    R. N. Dadazhanov

    MaqolaComputability, Logic, AI AlgorithmsRussian Mathematics20223 iqtibos
    ABI

  18. Sarlavhasiz

    Boshqa2 iqtibos
    ABI

  19. Sarlavhasiz

    Boshqa2 iqtibos
    ABI