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

Работ: 7

Работа: Existential quantifiers in abstract data types

1. Computably Separable Models

   N. Kh. Kasymov, F. N. Ibragimov

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

   ABIABI:AkademIndex/openalex/2022.article.001080

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

   ABIABI:AkademIndex/openalex/2024.article.001602

3. Separable Algorithmic Representations of Classical Systems and Their Applications

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

   СтатьяAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions2021Цитирований: 3

   ABIABI:AkademIndex/openalex/2021.article.001331

4. Computably Separable Models

   N. Kh. Kasymov, F. N. Ibragimov

   СтатьяComputability, Logic, AI AlgorithmsContemporary Mathematics Fundamental Directions2018Цитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.391812

5. Separable numberings of universal algebras

   N. Kh. Kasymov

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

   ABIABI:AkademIndex/openalex/2025.article.003416

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

   ABIABI:AkademIndex/openalex/2025.article.008520

7. Finite Logical Specifications of Effectively Separable Data Models

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

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

   ABIABI:AkademIndex/openalex/2025.article.010841