460:
257:
486:
21:
611:
283:
670:
434:
309:
165:
56:
734:
97:
754:
750:
746:
117:
113:
109:
742:
105:
61:
46:
51:
22:
75:
262:
557:
491:
83:
616:
413:
153:(Russian: Бахадыр Хусаинов) is a computer scientist and mathematician, who was born and educated in the Soviet Union, works in...
465:
708:
256:
347:
485:
524:
236:
610:
314:
141:
459:
675:
203:
590:
288:
170:
79:
649:
86:, but consider checking the search results below to see whether the topic is already covered.
697:
638:
579:
546:
513:
439:
402:
369:
336:
225:
192:
130:
380:
308:
8:
562:"Randomness Increases Order in Biological Evolution". In Dinneen, Michael J.;
669:
448:, Bakhadyr; Li, Wei; Stephan, Frank, "Deciding parity games in quasipolynomial...
599:, Bakhadyr (eds.). "The Lattice of Computably Enumerable Vector Spaces"...
245:, and Wang showed that a recursively enumerable real number is an algorithmically...
282:
164:
11:
297:, Bakhadyr and Li, Wei and Stephan, Frank (2017). "Deciding parity games...
717:; Anil Nerode (2012). Automata Theory and its Applications. Springer Science...
212:
2022: Lisa Orloff Clark List of mathematics awards "LMS-NZMS Forder and...
267:
Publishing. ISBN 978-0-201-02988-8. Zbl 0426.68001. (See chapter 3.) Bakhadyr
533:, Bakhadyr; Li, Wei; Stephan, Frank (2022), "Deciding parity games in...
179:, Wei Li, and Frank Stephan, he announced an algorithm for deciding parity...
28:
621:
Auckland with a MS Degree in
Mathematics under the supervision of Bakhadyr
595:
Harizanov, Valentina (2017). Day, Adam; Fellows, Michael; Greenberg, Noam;
566:, Bakhadyr; Nies, André (eds.). Computation, Physics and Beyond. Lecture...
470:
Kharitonin (born 1972) - billionaire, co-founder of
Pharmstandard Bakhadyr
389:, Nerode founded the theory of automatic structures, an extension of the...
323:, Bakhadyr; Nies, André (eds.). Computation, Physics and Beyond. Lecture...
500:, mathematician, Humboldt Prize winner Jahangir Mamatov Vladimir Vapnik...
496:
Abaeva, historian Elyor
Karimov Rashid Kadyrov Maimul Ahsan Khan Bakhadyr
474:(born 1961) - mathematician, Humboldt Prize winner Igor Kim (born 1966)...
713:
ISBN 978-0-201-53082-7. Section 16.2: Alternation, pp. 399–401. Bakhadyr
654:
Science, vol. B, MIT Press, pp. 133–191, ISBN 978-0-262-22039-2 Bakhadyr
433:
385:
sufficient conditions for a formal language to be regular. With
Bakhadyr
352:
Notes on the Myhill-Nerode
Theorem (PDF), retrieved 2016-03-22. Bakhadyr
684:; Anil Nerode (6 December 2012). Automata Theory and its Applications...
658:; Anil Nerode (6 December 2012). Automata Theory and its Applications...
625:. Brough believes that games are best understood within genres, which...
422:; Prof. Andre Nies (2012). Computation, Physics and Beyond. Springer....
356:; Anil Nerode (6 December 2012). Automata Theory and its Applications...
271:; Anil Nerode (6 December 2012). Automata Theory and its Applications...
175:
philosophy of computation. In 2017, together with Sanjay Jain, Bakhadyr
680:
529:
1016/j.dam.2007.04.017, MR 2437000 Calude, Cristian S.; Jain, Sanjay;
293:
MR 3941463. S2CID 127807021. Calude, Cristian S. and Jain, Sanjay and
208:
Robert
Mclachlan 2015: Steven Galbraith 2017: Hinke Osinga 2019: Bakh
418:(PDF). University of Tennessee. p. 220. Michael J. Dinneen; Bakhadyr
241:
real number is an algorithmically random sequence. Calude, Hertling,
701:
642:
583:
550:
517:
444:
doi:10.1016/S0020-0190(98)00150-1 Calude, Cristian S; Jain, Sanjay;
406:
373:
340:
229:
196:
134:
319:
Longo, Giuseppe; Montévil, Maël (2012-01-01). Dinneen, Michael J.;
38:
39:
40:
702:
643:
584:
551:
518:
407:
374:
341:
230:
197:
135:
696:
637:
578:
545:
512:
401:
368:
335:
224:
191:
129:
477:26 KB (2,159 words) - 17:53, 11 September 2024
425:96 KB (3,550 words) - 04:41, 20 September 2024
248:17 KB (2,369 words) - 00:29, 21 September 2024
720:12 KB (1,963 words) - 12:43, 20 February 2024
661:15 KB (2,030 words) - 11:31, 29 February 2024
326:20 KB (2,528 words) - 23:16, 10 December 2023
300:41 KB (4,998 words) - 19:17, 11 August 2024
602:7 KB (568 words) - 00:26, 2 September 2024
687:28 KB (4,123 words) - 19:56, 30 July 2024
569:31 KB (3,706 words) - 14:35, 21 June 2024
536:11 KB (1,088 words) - 14:14, 29 July 2024
503:10 KB (1,010 words) - 18:42, 17 July 2024
451:11 KB (1,905 words) - 07:25, 14 July 2024
392:6 KB (687 words) - 06:57, 13 January 2024
274:15 KB (2,319 words) - 19:06, 20 June 2024
182:13 KB (1,170 words) - 07:04, 17 June 2024
156:5 KB (495 words) - 16:59, 27 October 2023
359:11 KB (1,113 words) - 17:51, 8 July 2023
628:7 KB (627 words) - 12:44, 20 April 2023
215:3 KB (242 words) - 00:53, 28 April 2024
80:create a draft and submit it for review
12:
263:Pumping lemma for regular languages
9:
558:Evolution of biological complexity
84:request that a redirect be created
767:
695:
636:
577:
544:
511:
492:National University of Uzbekistan
400:
367:
334:
223:
190:
128:
16:
617:Michael Brough (game designer)
414:List of mathematical constants
1:
466:Novosibirsk State University
7:
772:
709:Alternating Turing machine
78:" does not exist. You can
699:image layout frameless
640:image layout frameless
581:image layout frameless
548:image layout frameless
515:image layout frameless
404:image layout frameless
371:image layout frameless
338:image layout frameless
227:image layout frameless
194:image layout frameless
132:image layout frameless
237:Chaitin's constant
525:Quasi-polynomial time
348:Myhill–Nerode theorem
315:Irreversible process
204:Aitken Lectureship
36:
32:
700:
641:
591:Jeffrey B. Remmel
582:
549:
516:
405:
372:
339:
228:
195:
133:
34:
30:
17:
763:
740:
732:
716:
698:
683:
657:
639:
624:
598:
580:
565:
547:
532:
514:
499:
473:
447:
421:
403:
388:
370:
355:
337:
322:
296:
270:
244:
226:
211:
193:
178:
152:
145:
131:
103:
95:
68:
18:
771:
770:
766:
765:
764:
762:
761:
760:
759:
758:
738:
730:
726:
723:
722:
721:
718:
714:
711:
705:
704:
703:
690:
689:
688:
685:
681:
678:
676:Büchi automaton
672:
664:
663:
662:
659:
655:
652:
646:
645:
644:
631:
630:
629:
626:
622:
619:
613:
605:
604:
603:
600:
596:
593:
587:
586:
585:
572:
571:
570:
567:
563:
560:
554:
553:
552:
539:
538:
537:
534:
530:
527:
521:
520:
519:
506:
505:
504:
501:
497:
494:
488:
480:
479:
478:
475:
471:
468:
462:
454:
453:
452:
449:
445:
442:
436:
428:
427:
426:
423:
419:
416:
410:
409:
408:
395:
394:
393:
390:
386:
383:
377:
376:
375:
362:
361:
360:
357:
353:
350:
344:
343:
342:
329:
328:
327:
324:
320:
317:
311:
303:
302:
301:
298:
294:
291:
289:Time complexity
285:
277:
276:
275:
272:
268:
265:
259:
251:
250:
249:
246:
242:
239:
233:
232:
231:
218:
217:
216:
213:
209:
206:
200:
199:
198:
185:
184:
183:
180:
176:
173:
171:Cristian Calude
167:
159:
158:
157:
154:
150:
147:
143:
138:
137:
136:
122:
121:
101:
93:
89:
69:
67:
66:
41:
37:
27:
26:
25:
24:
23:
15:
5:
769:
728:
727:
725:
724:
719:
712:
707:
706:
694:
693:
691:
686:
679:
674:
673:
668:
667:
665:
660:
653:
648:
647:
635:
634:
632:
627:
620:
615:
614:
609:
608:
606:
601:
594:
589:
588:
576:
575:
573:
568:
561:
556:
555:
543:
542:
540:
535:
528:
523:
522:
510:
509:
507:
502:
495:
490:
489:
484:
483:
481:
476:
469:
464:
463:
458:
457:
455:
450:
443:
438:
437:
432:
431:
429:
424:
417:
412:
411:
399:
398:
396:
391:
384:
379:
378:
366:
365:
363:
358:
351:
346:
345:
333:
332:
330:
325:
318:
313:
312:
307:
306:
304:
299:
292:
287:
286:
281:
280:
278:
273:
266:
261:
260:
255:
254:
252:
247:
240:
235:
234:
222:
221:
219:
214:
207:
202:
201:
189:
188:
186:
181:
174:
169:
168:
163:
162:
160:
155:
148:
140:
139:
127:
126:
123:
91:
90:
71:
70:
65:
64:
59:
54:
49:
43:
42:
20:
19:
14:
13:
10:
6:
4:
3:
2:
768:
756:
752:
748:
744:
736:
710:
692:
677:
671:
666:
651:
633:
618:
612:
607:
592:
574:
559:
541:
526:
508:
493:
487:
482:
467:
461:
456:
441:
435:
430:
415:
397:
382:
364:
349:
331:
316:
310:
305:
290:
284:
279:
264:
258:
253:
238:
220:
205:
187:
172:
166:
161:
146:
125:
124:
119:
115:
111:
107:
99:
88:
87:
85:
81:
77:
63:
60:
58:
55:
53:
50:
48:
47:Content pages
45:
44:
149:Bakhadyr M.
73:
72:
731:previous 20
715:Khoussainov
682:Khoussainov
656:Khoussainov
650:Ω-automaton
623:Khoussainov
597:Khoussainov
564:Khoussainov
531:Khoussainov
498:Khoussainov
472:Khoussainov
446:Khoussainov
440:Parity game
420:Khoussainov
387:Khoussainov
381:Anil Nerode
354:Khoussainov
321:Khoussainov
295:Khoussainov
269:Khoussainov
243:Khoussainov
210:Khoussainov
177:Khoussainov
151:Khoussainov
144:Khoussainov
94:previous 20
76:Khoussainov
74:The page "
57:Everything
52:Multimedia
142:Bakhadyr
62:Advanced
29:Results
735:next 20
98:next 20
729:View (
92:View (
31:1 – 20
755:500
751:250
747:100
737:) (
733:|
118:500
114:250
110:100
100:) (
96:|
82:or
33:of
753:|
749:|
745:|
743:50
741:|
739:20
116:|
112:|
108:|
106:50
104:|
102:20
35:27
757:)
120:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.