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

Продукты

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

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

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

Работ: 47

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

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

    СтатьяComputability, Logic, AI AlgorithmsSiberian Mathematical Journal2016Цитирований: 19
    ABI

  2. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

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

  3. Recursively separable enumerated algebras

    N. Kh. Kasymov

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

  4. Algebras over negative equivalences

    N. Kh. Kasymov

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

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

    J. A. Bergstra, John V. Tucker

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

  6. Separation axioms and partitions of the set of natural numbers

    N. Kh. Kasymov

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

  7. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

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

  8. $$\Pi^0_1$$ -Presentations of Algebras

    Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

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

  9. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

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

  10. Homomorphisms onto negative algebras

    N. Kh. Kasymov

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

  11. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

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

  12. Positive algebras with congruences of finite index

    N. Kh. Kasymov

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

  13. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

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

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

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

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

    Uri Andrews, DANIEL F. BELIN, Luca San Mauro

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

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

    N. Kh. Kasymov, F. N. Ibragimov

    СтатьяComputability, Logic, AI AlgorithmsSiberian Mathematical Journal2019Цитирований: 8
    ABI

  17. T1-Separable Numberings of Subdirectly Indecomposable Algebras

    N. Kh. Kasymov, Andrey Morozov, I. A. Khodzhamuratova

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

  18. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

    Глава1979Цитирований: 7
    ABI

  19. Some definitions for algebraic data type specifications

    Sam Kamin

    Статья1979Цитирований: 7
    ABI

  20. Theory of Numberings

    Yuri L. Ershov

    Глава1999Цитирований: 6
    ABI

  21. Lower Semilattices of Separable Congruences of Numbered Algebras

    N. Kh. Kasymov, Andrey Morozov

    СтатьяComputability, Logic, AI AlgorithmsSiberian Mathematical Journal2023Цитирований: 5
    ABI

  22. Rekursive Algebren mit Kettenbedingungen

    Walter Bäur

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

  23. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

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

  24. Computably Separable Models

    N. Kh. Kasymov, F. N. Ibragimov

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

  25. Weakly semirecursive sets

    Carl G. Jockusch, James C. Owings

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