Follow
Bakh Khoussainov
Bakh Khoussainov
Professor, The Algorithms and Logic Group (ALG), UESTC
Verified email at uestc.edu.cn - Homepage
Title
Cited by
Cited by
Year
Automatic presentations of structures
B Khoussainov, A Nerode
International Workshop on Logic and Computational Complexity, 367-392, 1994
3941994
Deciding Parity Games in Quasi-Polynomial Time
CS Calude, S Jain, B Khoussainov, W Li, F Stephan
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing …, 2017
2872017
Automata theory and its applications
B Khoussainov, A Nerode
Springer Science & Business Media, 2012
2512012
Degree spectra and computable dimensions in algebraic structures
DR Hirschfeldt, B Khoussainov, RA Shore, AM Slinko
Annals of Pure and Applied Logic 115 (1-3), 71-113, 2002
2242002
Automatic structures: richness and limitations
B Khoussainov, A Nies, S Rubin, F Stephan
Logical methods in computer science 3, 2007
1332007
Computable models of theories with few models
B Khoussainov, A Nies, RA Shore
Notre Dame Journal of Formal Logic 38 (2), 165-178, 1997
112*1997
Recursively enumerable reals and Chaitin Ω numbers
CS Calude, PH Hertling, B Khoussainov, Y Wang
Theoretical Computer Science 255 (1), 125-149, 2001
962001
Recursively enumerable reals and chaitin Ω numbers
CS Calude, PH Hertling, B Khoussainov, Y Wang
STACS 98: 15th Annual Symposium on Theoretical Aspects of Computer Science …, 1998
881998
Automatic linear orders and trees
B Khoussainov, S Rubin, F Stephan
ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005
792005
Three lectures on automatic structures
B Khoussainov, M Minnes
Proceedings of Logic Colloquium 35, 132-176, 2007
642007
Computably categorical structures and expansions by constants
P Cholak, S Goncharov, B Khoussainov, RA Shore
The Journal of Symbolic Logic 64 (1), 13-37, 1999
581999
Computable isomorphisms, degree spectra of relations, and Scott families
B Khoussainov, RA Shore
Annals of Pure and Applied Logic 93 (1-3), 153-193, 1998
571998
From automatic structures to automatic groups
O Kharlampovich, B Khoussainov, A Myasnikov
Groups, Geometry, Dynamics 8 (1), 157-198, 2014
552014
Linear orders realized by ce equivalence relations
E Fokina, B Khoussainov, P Semukhin, D Turetsky
The Journal of Symbolic Logic 81 (2), 463-482, 2016
482016
Definability and regularity in automatic structures
B Khoussainov, S Rubin, F Stephan
STACS 2004, 440-451, 2004
482004
Open Questions in the Theory of Automatic Structures.
B Khoussainov, A Nerode
Bulletin of the EATCS 94, 181-204, 2008
472008
Limitwise monotonic sequences and degree spectra of structures
I Kalimullin, B Khoussainov, A Melnikov
Proceedings of the American Mathematical Society 141 (9), 3275-3289, 2013
452013
On automatic partial orders
B Khoussainov, S Rubin, F Stephan
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
442003
Complexity of categorical theories with computable models
SS Goncharov, B Khoussainov
Algebra and Logic 43, 365-373, 2004
43*2004
From automatic structures to Borel structures
G Hjorth, B Khoussainov, A Montalbán, A Nies
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 431-441, 2008
402008
The system can't perform the operation now. Try again later.
Articles 1–20