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

Работ: 12

Работа: Computably Separable Models

1. Homomorphisms onto effectively separable algebras

   N. Kh. Kasymov

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

   ABIABI:AkademIndex/openalex/2016.article.000113

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

   N. Kh. Kasymov

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

   ABIABI:AkademIndex/openalex/2026.other.407930

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

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

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

   ABIABI:AkademIndex/openalex/2026.other.391811

4. On computable automorphisms of the rational numbers

   Andrey Morozov, J. K. Truss

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

   ABIABI:AkademIndex/openalex/2026.other.407931

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

   Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

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

   ABIABI:AkademIndex/openalex/2026.other.408874

6. Existential quantifiers in abstract data types

   Manfred Broy, Walter Dosch, H. Partsch +2

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

   ABIABI:AkademIndex/openalex/2026.other.408869

7. Some definitions for algebraic data type specifications

   Sam Kamin

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

   ABIABI:AkademIndex/openalex/2026.other.408870

8. Hierarchies of Boolean algebras

   Lawrence Feiner

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

   ABIABI:AkademIndex/openalex/2026.other.408868

9. Rekursive Algebren mit Kettenbedingungen

   Walter Bäur

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

   ABIABI:AkademIndex/openalex/2026.other.408873

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

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

    ABIABI:AkademIndex/openalex/2026.other.617949

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

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

    ABIABI:AkademIndex/openalex/2026.other.617950

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

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

    ABIABI:AkademIndex/openalex/2026.other.617951