Works citing this work

4 works

Work: Semirecursive sets and positive reducibility

1. Lower Semilattices of Separable Congruences of Numbered Algebras

   N. Kh. Kasymov, Andrey Morozov

   ArticleComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20235 citations

   ABIABI:AkademIndex/openalex/2023.article.001471

2. Separable numberings of universal algebras

   N. Kh. Kasymov

   ArticleComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20250 citations

   ABIABI:AkademIndex/openalex/2025.article.003416

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

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