Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API
← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

24 ta ish

Ish: Lower Semilattices of Separable Congruences of Numbered Algebras

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201619 iqtibos
    ABI

  2. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Maqola199316 iqtibos
    ABI

  3. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Maqola199615 iqtibos
    ABI

  4. Algebras over negative equivalences

    N. Kh. Kasymov

    Maqola199413 iqtibos
    ABI

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

    J. A. Bergstra, John V. Tucker

    Bob198013 iqtibos
    ABI

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

    N. Kh. Kasymov

    Maqola199313 iqtibos
    ABI

  7. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Maqola196112 iqtibos
    ABI

  8. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  9. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  10. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic201611 iqtibos
    ABI

  11. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Maqola198711 iqtibos
    ABI

  12. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Maqola199110 iqtibos
    ABI

  13. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Maqola19929 iqtibos
    ABI

  14. Sarlavhasiz

    Boshqa9 iqtibos
    ABI

  15. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

    Maqola20018 iqtibos
    ABI

  16. T1-Separable Numberings of Subdirectly Indecomposable Algebras

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

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic20217 iqtibos
    ABI

  17. Negative Dense Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20176 iqtibos
    ABI

  18. Weakly semirecursive sets

    Carl G. Jockusch, James C. Owings

    Maqola19904 iqtibos
    ABI

  19. Semirecursive sets and positive reducibility

    Carl G. Jockusch

    Maqola19684 iqtibos
    ABI

  20. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Maqola19693 iqtibos
    ABI

  21. Constructive Models

    Yuri L. Ershov, С. С. Гончаров

    Kitob20003 iqtibos
    ABI

  22. Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

    R. N. Dadazhanov, N. Kh. Kasymov, I. A. Khodzhamuratova

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20222 iqtibos
    ABI

  23. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  24. Sarlavhasiz

    Boshqa1 iqtibos
    ABI