Bakhadyr Khoussainov

Bakhadyr M. Khoussainov (Russian: Бахадыр Хусаинов[1]) is a computer scientist and mathematician, who was born and educated in the Soviet Union, works in the fields of mathematical logic, computability theory, computable model theory and theoretical computer science.[2] With Anil Nerode, he is the co-founder of the theory of automatic structures,[3] which is an extension of the theory of automatic groups.

  1. ^ "Бахадыр Хусаинов" (PDF). Новая Зеландия говорит по-русски 2013. p. 134.
  2. ^ "People – Algorithms and Logic Group in UESTC". Retrieved 2022-04-30.
  3. ^ Khoussainov, Bakhadyr; Nerode, Anil (1995). "Automatic presentations of structures". In Leivant, Daniel (ed.). Logic and Computational Complexity. Lecture Notes in Computer Science. Vol. 960. Berlin, Heidelberg: Springer. pp. 367–392. doi:10.1007/3-540-60178-3_93. ISBN 978-3-540-44720-7.