Асосий контентга ўтиш
AkademIndex

Маҳсулотлар

Ишлаб чиқувчилар учун

AkademBaseЭкотизим учун очиқ API
← Ишга қайтиш

Ушбу иш иқтибос қилган ишлар

47 та иш

Иш: Separable numberings of universal algebras

  1. Semirecursive sets and positive reducibility

    Carl G. Jockusch

    Мақола19684 иқтибос
    ABI

  2. Topological Spaces Over Algorithmic Representations of Universal Algebras

    N. Kh. Kasymov, I. A. Khodzhamuratova

    МақолаComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20204 иқтибос
    ABI

  3. UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

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

    Мақола20144 иқтибос
    ABI

  4. �ber rekursive Strukturen

    Walte Baur

    Мақола19743 иқтибос
    ABI

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

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

    Мақола20223 иқтибос
    ABI

  6. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsRussian Mathematics20242 иқтибос
    ABI

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

    A. Mal′cev

    Мақола19372 иқтибос
    ABI

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

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

    МақолаComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20222 иқтибос
    ABI

  9. Effective compacts over co-immune sets

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

    Мақола20192 иқтибос
    ABI

  10. Algebraic Systems

    A. I. Mal’cev

    Китоб19732 иқтибос
    ABI

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

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20241 иқтибос
    ABI

  12. Defining algorithmically presented structures in first order logic

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

    МақолаComputability, Logic, AI Algorithms20241 иқтибос
    ABI

  13. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  14. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  15. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  16. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  17. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  18. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  19. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  20. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  21. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  22. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI