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

Продукты

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

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

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

Работ: 26

Работа: Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

  1. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Статья1993Цитирований: 16
    ABI

  2. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Статья1996Цитирований: 15
    ABI

  3. Algebras over negative equivalences

    N. Kh. Kasymov

    Статья1994Цитирований: 13
    ABI

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

    J. A. Bergstra, John V. Tucker

    Глава1980Цитирований: 13
    ABI

  5. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Статья1961Цитирований: 12
    ABI

  6. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Статья1992Цитирований: 12
    ABI

  7. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Статья1992Цитирований: 12
    ABI

  8. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    СтатьяComputability, Logic, AI AlgorithmsAlgebra and Logic2016Цитирований: 11
    ABI

  9. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Статья1987Цитирований: 11
    ABI

  10. Recursively Enumerable Sets and Degrees

    Robert I. Soare

    Книга1987Цитирований: 10
    ABI

  11. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Статья1991Цитирований: 10
    ABI

  12. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Статья1992Цитирований: 9
    ABI

  13. Без названия

    ДругоеЦитирований: 9
    ABI

  14. Structures of Degrees of Negative Representations of Linear Orders

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

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

  15. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

    Статья1992Цитирований: 5
    ABI

  16. The number of algebras over simple sets

    N. Kh. Kasymov

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

  17. Finitely presented expansions of groups, semigroups, and algebras

    Bakhadyr Khoussainov, Alexei Miasnikov

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

  18. Separable Algorithmic Representations of Classical Systems and Their Applications

    N. Kh. Kasymov, R. N. Dadazhanov, F. N. Ibragimov

    СтатьяAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions2021Цитирований: 3
    ABI

  19. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

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

  20. Constructive Models

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

    Книга2000Цитирований: 3
    ABI

  21. Graphs realised by r.e. equivalence relations

    Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov +1

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

  22. Reducibilities among equivalence relations induced by recursively enumerable structures

    Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan

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

  23. Без названия

    ДругоеЦитирований: 1
    ABI

  24. Без названия

    ДругоеЦитирований: 1
    ABI

  25. Без названия

    ДругоеЦитирований: 1
    ABI