关注
Bakh Khoussainov
Bakh Khoussainov
Professor, The Algorithms and Logic Group (ALG), UESTC
在 uestc.edu.cn 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Automatic presentations of structures
B Khoussainov, A Nerode
International Workshop on Logic and Computational Complexity, 367-392, 1994
4091994
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
3052017
Automata theory and its applications
B Khoussainov, A Nerode
Springer Science & Business Media, 2012
2572012
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
2282002
Automatic structures: richness and limitations
B Khoussainov, A Nies, S Rubin, F Stephan
Logical methods in computer science 3, 2007
1352007
Computable models of theories with few models
B Khoussainov, A Nies, RA Shore
Notre Dame Journal of Formal Logic 38 (2), 165-178, 1997
114*1997
Recursively enumerable reals and Chaitin Ω numbers
CS Calude, PH Hertling, B Khoussainov, Y Wang
Theoretical Computer Science 255 (1), 125-149, 2001
1012001
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
931998
Automatic linear orders and trees
B Khoussainov, S Rubin, F Stephan
ACM Transactions on Computational Logic (TOCL) 6 (4), 675-700, 2005
802005
Three lectures on automatic structures
B Khoussainov, M Minnes
Proceedings of Logic Colloquium 35, 132-176, 2007
702007
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
571999
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
Open Questions in the Theory of Automatic Structures.
B Khoussainov, A Nerode
Bulletin of the EATCS 94, 181-204, 2008
482008
Definability and regularity in automatic structures
B Khoussainov, S Rubin, F Stephan
STACS 2004, 440-451, 2004
472004
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
462016
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
462013
Complexity of categorical theories with computable models
SS Goncharov, B Khoussainov
Algebra and Logic 43, 365-373, 2004
44*2004
On automatic partial orders
B Khoussainov, S Rubin, F Stephan
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
432003
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
系统目前无法执行此操作,请稍后再试。
文章 1–20