Ushbu ishga iqtibos qilgan ishlar

3 ta ish

Ish: Theory of Recursive Functions and Effective Computability

1. Lower Semilattices of Separable Congruences of Numbered Algebras

   N. Kh. Kasymov, Andrey Morozov

   MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20235 iqtibos

   ABIABI:AkademIndex/openalex/2023.article.001471

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

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