Перейти к основному содержанию
AkademIndex

Продукты

Для разработчиков

AkademBaseОткрытый API экосистемы
← Назад к работе

Работы, на которые ссылается эта работа

Работ: 47

Работа: Separable numberings of universal algebras

  1. Semirecursive sets and positive reducibility

    Carl G. Jockusch

    Статья1968Цитирований: 4
    ABI

  2. Topological Spaces Over Algorithmic Representations of Universal Algebras

    N. Kh. Kasymov, I. A. Khodzhamuratova

    СтатьяComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences2020Цитирований: 4
    ABI

  3. UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

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

    Статья2014Цитирований: 4
    ABI

  4. �ber rekursive Strukturen

    Walte Baur

    Статья1974Цитирований: 3
    ABI

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

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

    Статья2022Цитирований: 3
    ABI

  6. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    СтатьяComputability, Logic, AI AlgorithmsRussian Mathematics2024Цитирований: 2
    ABI

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

    A. Mal′cev

    Статья1937Цитирований: 2
    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 Journal2022Цитирований: 2
    ABI

  9. Effective compacts over co-immune sets

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

    Статья2019Цитирований: 2
    ABI

  10. Algebraic Systems

    A. I. Mal’cev

    Книга1973Цитирований: 2
    ABI

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

    N. Kh. Kasymov

    СтатьяComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science2024Цитирований: 1
    ABI

  12. Defining algorithmically presented structures in first order logic

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

    СтатьяComputability, Logic, AI Algorithms2024Цитирований: 1
    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