Works citing this work

3 works

Work: $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

   ArticleComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20244 citations

   ABIABI:AkademIndex/openalex/2024.article.001602

2. Logical specifications of effectively separable data models

   N. Kh. Kasymov

   ArticleSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 citations

   ABIABI:AkademIndex/openalex/2024.article.003566

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