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

2 та иш

Иш: 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

   МақолаComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20222 иқтибос

   ABIABI:AkademIndex/openalex/2026.other.407937

2. Defining algorithmically presented structures in first order logic

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

   МақолаComputability, Logic, AI Algorithms20241 иқтибос

   ABIABI:AkademIndex/openalex/2024.article.003555