Ushbu ishga iqtibos qilgan ishlar

2 ta ish

Ish: 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

   MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20222 iqtibos

   ABIABI:AkademIndex/openalex/2026.other.407937

2. Defining algorithmically presented structures in first order logic

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

   MaqolaComputability, Logic, AI Algorithms20241 iqtibos

   ABIABI:AkademIndex/openalex/2024.article.003555