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

Продукты

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

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

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

Работ: 18

Работа: Finite logical specifications of effectively separable data 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. Без названия

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

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

    Uri Andrews, DANIEL F. BELIN, Luca San Mauro

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

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

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

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

  8. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

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

  9. Some definitions for algebraic data type specifications

    Sam Kamin

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

  10. Lower Semilattices of Separable Congruences of Numbered Algebras

    N. Kh. Kasymov, Andrey Morozov

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

  11. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

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

  12. Computably Separable Models

    N. Kh. Kasymov, F. N. Ibragimov

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

  13. Separable Algorithmic Representations of Classical Systems and their Applications

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

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

  14. Semirecursive sets and positive reducibility

    Carl G. Jockusch

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

  15. $T_1$-separable numberings of subdirectly indecomposable algebras

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

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

  16. Uniform $m$-equivalencies and numberings of classical systems

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

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

  17. Logical specifications of effectively separable data models

    N. Kh. Kasymov

    СтатьяSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika2024Цитирований: 1
    ABI

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

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