Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API
← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

47 ta ish

Ish: Separable numberings of universal algebras

  1. Semirecursive sets and positive reducibility

    Carl G. Jockusch

    Maqola19684 iqtibos
    ABI

  2. Topological Spaces Over Algorithmic Representations of Universal Algebras

    N. Kh. Kasymov, I. A. Khodzhamuratova

    MaqolaComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20204 iqtibos
    ABI

  3. UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

    Uri Andrews, Steffen Lempp, Joseph S. Miller +3

    Maqola20144 iqtibos
    ABI

  4. �ber rekursive Strukturen

    Walte Baur

    Maqola19743 iqtibos
    ABI

  5. Uniform $m$-equivalencies and numberings of classical systems

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

    Maqola20223 iqtibos
    ABI

  6. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    MaqolaComputability, Logic, AI AlgorithmsRussian Mathematics20242 iqtibos
    ABI

  7. On the immersion of an algebraic ring into a field

    A. Mal′cev

    Maqola19372 iqtibos
    ABI

  8. 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

  9. Effective compacts over co-immune sets

    R.N. Dadajonov, N. R. Karimova, N. Kh. Kasymov

    Maqola20192 iqtibos
    ABI

  10. Algebraic Systems

    A. I. Mal’cev

    Kitob19732 iqtibos
    ABI

  11. Locally finite and finitely approximated unoids over computably separable equivalences

    N. Kh. Kasymov

    MaqolaComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20241 iqtibos
    ABI

  12. Defining algorithmically presented structures in first order logic

    N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov

    MaqolaComputability, Logic, AI Algorithms20241 iqtibos
    ABI

  13. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  14. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  15. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  16. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  17. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  18. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  19. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  20. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  21. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  22. Sarlavhasiz

    Boshqa1 iqtibos
    ABI