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

Продукты

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

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

Работы, цитирующие эту работу

Работ: 13

Работа: A characterisation of computable data types by means of a finite equational specification method

  1. Lower Semilattices of Separable Congruences of Numbered Algebras

    N. Kh. Kasymov, Andrey Morozov

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

  2. Computably Separable Models

    N. Kh. Kasymov, F. N. Ibragimov

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

  3. 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

  4. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    СтатьяComputability, Logic, AI AlgorithmsRussian Mathematics2024Цитирований: 2
    ABI

  5. Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

    R. N. Dadazhanov, N. Kh. Kasymov, I. A. Khodzhamuratova

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

  6. Computability and Universal Determinability of Negatively Representable Models

    R. N. Dadazhanov

    СтатьяComputability, Logic, AI AlgorithmsRussian Mathematics2022Цитирований: 1
    ABI

  7. Locally finite and finitely approximated unoids over computably separable equivalences

    N. Kh. Kasymov

    СтатьяComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science2024Цитирований: 1
    ABI

  8. Defining algorithmically presented structures in first order logic

    N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov

    СтатьяComputability, Logic, AI Algorithms2024Цитирований: 1
    ABI

  9. Logical specifications of effectively separable data models

    N. Kh. Kasymov

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

  10. Separable numberings of universal algebras

    N. Kh. Kasymov

    СтатьяComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science2025Цитирований: 0
    ABI

  11. Unoids with Finiteness Conditions over Computably Separable Equivalences

    N. Kh. Kasymov

    СтатьяComputability, Logic, AI AlgorithmsLobachevskii Journal of Mathematics2025Цитирований: 0
    ABI

  12. Finite logical specifications of effectively separable data models

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

    СтатьяComputability, Logic, AI AlgorithmsIzvestiya Vysshikh Uchebnykh Zavedenii Matematika2025Цитирований: 0
    ABI

  13. Finite Logical Specifications of Effectively Separable Data Models

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

    СтатьяStatistical and Computational ModelingRussian Mathematics2025Цитирований: 0
    ABI