Ushbu ishga iqtibos qilgan ishlar

7 ta ish

Ish: Existential quantifiers in abstract data types

1. Computably Separable Models

   N. Kh. Kasymov, F. N. Ibragimov

   MaqolaComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20224 iqtibos

   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

   MaqolaComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20244 iqtibos

   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

   MaqolaAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions20213 iqtibos

   ABIABI:AkademIndex/openalex/2021.article.001331

4. Computably Separable Models

   N. Kh. Kasymov, F. N. Ibragimov

   MaqolaComputability, Logic, AI AlgorithmsContemporary Mathematics Fundamental Directions20181 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.391812

5. Separable numberings of universal algebras

   N. Kh. Kasymov

   MaqolaComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20250 iqtibos

   ABIABI:AkademIndex/openalex/2025.article.003416

6. Finite logical specifications of effectively separable data models

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

   MaqolaComputability, Logic, AI AlgorithmsIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20250 iqtibos

   ABIABI:AkademIndex/openalex/2025.article.008520

7. Finite Logical Specifications of Effectively Separable Data Models

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

   MaqolaStatistical and Computational ModelingRussian Mathematics20250 iqtibos

   ABIABI:AkademIndex/openalex/2025.article.010841