Folgen
Bakh Khoussainov
Bakh Khoussainov
Professor, The Algorithms and Logic Group (ALG), UESTC
Bestätigte E-Mail-Adresse bei uestc.edu.cn - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Automatic presentations of structures
B Khoussainov, A Nerode
International Workshop on Logic and Computational Complexity, 367-392, 1994
4121994
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
3212017
Automata theory and its applications
B Khoussainov, A Nerode
Springer Science & Business Media, 2012
2642012
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
2302002
Automatic structures: richness and limitations
B Khoussainov, A Nies, S Rubin, F Stephan
Logical methods in computer science 3, 2007
1362007
Computable models of theories with few models
B Khoussainov, A Nies, RA Shore
Notre Dame Journal of Formal Logic 38 (2), 165-178, 1997
116*1997
Recursively enumerable reals and Chaitin Ω numbers
CS Calude, PH Hertling, B Khoussainov, Y Wang
Theoretical Computer Science 255 (1), 125-149, 2001
1022001
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
712007
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
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
482013
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
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
Automatic structures: Overview and future directions
B Khoussainov, S Rubin
Journal of Automata, Languages and Combinatorics 8 (2), 287-301, 2003
412003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20