Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API
← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

24 ta ish

Ish: Locally finite and finitely approximated unoids over computably separable equivalences

  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. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Maqola196112 iqtibos
    ABI

  7. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  8. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  9. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Maqola198711 iqtibos
    ABI

  10. Recursively Enumerable Sets and Degrees

    Robert I. Soare

    Kitob198710 iqtibos
    ABI

  11. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Maqola199110 iqtibos
    ABI

  12. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Maqola19929 iqtibos
    ABI

  13. Sarlavhasiz

    Boshqa9 iqtibos
    ABI

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

    Uri Andrews, DANIEL F. BELIN, Luca San Mauro

    Maqola20229 iqtibos
    ABI

  15. Separable Enumerations of Division Rings and Effective Embeddability of Rings Therein

    N. Kh. Kasymov, F. N. Ibragimov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20198 iqtibos
    ABI

  16. Theory of Numberings

    Yuri L. Ershov

    Bob19996 iqtibos
    ABI

  17. Structures of Degrees of Negative Representations of Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov, S. K. Djavliev

    MaqolaComputability, Logic, AI AlgorithmsRussian Mathematics20215 iqtibos
    ABI

  18. Lower Semilattices of Separable Congruences of Numbered Algebras

    N. Kh. Kasymov, Andrey Morozov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20235 iqtibos
    ABI

  19. Weakly semirecursive sets

    Carl G. Jockusch, James C. Owings

    Maqola19904 iqtibos
    ABI

  20. On effectively hypersimple sets

    M. M. Arslanov

    Maqola19692 iqtibos
    ABI

  21. Universal Generalized Computable Numberings and Hyperimmunity

    M. Kh. Faĭzrakhmanov

    Maqola20172 iqtibos
    ABI

  22. On the general theory of algebraic systems

    A. Mal′cev

    Boshqa19632 iqtibos
    ABI

  23. Algebraic Systems

    A. I. Mal’cev

    Kitob19732 iqtibos
    ABI

  24. Sarlavhasiz

    Boshqa1 iqtibos
    ABI