Ushbu ishga iqtibos qilgan ishlar

3 ta ish

Ish: $T_1$-separable numberings of subdirectly indecomposable algebras

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

2. Logical specifications of effectively separable data models

   N. Kh. Kasymov

   MaqolaSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 iqtibos

   ABIABI:AkademIndex/openalex/2024.article.003566

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