Works citing this work

7 works

Work: Existential quantifiers in abstract data types

1. Computably Separable Models

   N. Kh. Kasymov, F. N. Ibragimov

   ArticleComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20224 citations

   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

   ArticleComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20244 citations

   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

   ArticleAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions20213 citations

   ABIABI:AkademIndex/openalex/2021.article.001331

4. Computably Separable Models

   N. Kh. Kasymov, F. N. Ibragimov

   ArticleComputability, Logic, AI AlgorithmsContemporary Mathematics Fundamental Directions20181 citations

   ABIABI:AkademIndex/openalex/2026.other.391812

5. Separable numberings of universal algebras

   N. Kh. Kasymov

   ArticleComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20250 citations

   ABIABI:AkademIndex/openalex/2025.article.003416

6. Finite logical specifications of effectively separable data models

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

   ArticleComputability, Logic, AI AlgorithmsIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20250 citations

   ABIABI:AkademIndex/openalex/2025.article.008520

7. Finite Logical Specifications of Effectively Separable Data Models

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

   ArticleStatistical and Computational ModelingRussian Mathematics20250 citations

   ABIABI:AkademIndex/openalex/2025.article.010841