Ушбу ишга иқтибос қилган ишлар

7 та иш

Иш: Existential quantifiers in abstract data types

1. Computably Separable Models

   N. Kh. Kasymov, F. N. Ibragimov

   МақолаComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20224 иқтибос

   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 Sciences20244 иқтибос

   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 Directions20213 иқтибос

   ABIABI:AkademIndex/openalex/2021.article.001331

4. Computably Separable Models

   N. Kh. Kasymov, F. N. Ibragimov

   МақолаComputability, Logic, AI AlgorithmsContemporary Mathematics Fundamental Directions20181 иқтибос

   ABIABI:AkademIndex/openalex/2026.other.391812

5. Separable numberings of universal algebras

   N. Kh. Kasymov

   МақолаComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20250 иқтибос

   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 Matematika20250 иқтибос

   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 Mathematics20250 иқтибос

   ABIABI:AkademIndex/openalex/2025.article.010841