Works citing this work

2 works

Work: Reducibilities among equivalence relations induced by recursively enumerable structures

1. Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

   R. N. Dadazhanov, N. Kh. Kasymov, I. A. Khodzhamuratova

   ArticleComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20222 citations

   ABIABI:AkademIndex/openalex/2026.other.407937

2. Defining algorithmically presented structures in first order logic

   N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov

   ArticleComputability, Logic, AI Algorithms20241 citations

   ABIABI:AkademIndex/openalex/2024.article.003555