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

3 та иш

Иш: Theory of Recursive Functions and Effective Computability

1. Lower Semilattices of Separable Congruences of Numbered Algebras

   N. Kh. Kasymov, Andrey Morozov

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

   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

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

   ABIABI:AkademIndex/openalex/2026.other.407937

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