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

Продукты

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

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

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

Работ: 10

Работа: Separable Algorithmic Representations of Classical Systems and Their Applications

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

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

  2. Homomorphisms onto negative algebras

    N. Kh. Kasymov

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

  3. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

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

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

    Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

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

  5. T1-Separable Numberings of Subdirectly Indecomposable Algebras

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

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

  6. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

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

  7. Some definitions for algebraic data type specifications

    Sam Kamin

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

  8. Hierarchies of Boolean algebras

    Lawrence Feiner

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

  9. Rekursive Algebren mit Kettenbedingungen

    Walter Bäur

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

  10. Nonconstructive negative algebras with finiteness conditions

    N. Kh. Kasymov

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