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

Продукты

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

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

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

Работ: 22

Работа: Computably Separable Models

  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. A characterisation of computable data types by means of a finite equational specification method

    J. A. Bergstra, John V. Tucker

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

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

    N. Kh. Kasymov

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

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

    Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

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

  6. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

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

  7. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

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

  8. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

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

  9. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

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

  10. Рекурсивно отделимые нумерованные алгебры

    Надим Хабибуллаевич Касымов, Надим Хабибуллаевич Касымов

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

  11. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

    Статья2001Цитирований: 8
    ABI

  12. LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS

    Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

    Статья2016Цитирований: 8
    ABI

  13. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

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

  14. Some definitions for algebraic data type specifications

    Sam Kamin

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

  15. Negative Dense Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov

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

  16. Hierarchies of Boolean algebras

    Lawrence Feiner

    Статья1970Цитирований: 6
    ABI

  17. Rekursive Algebren mit Kettenbedingungen

    Walter Bäur

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

  18. �ber rekursive Strukturen

    Walte Baur

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

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

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

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

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

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

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

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

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