Bakh M. Khoussainov's Homepage

bakh-tcs.github.io

Bakh M. Khoussainov is currently a professor at Logic and algorithm lab of University of Electronic Science and Technology of China

关键词：Bakh M. Khoussainov, Bakh,algorithm, logic, Computer, Automata