Ushbu ishga iqtibos qilgan ishlar

2 ta ish

Ish: Graphs realised by r.e. equivalence relations

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