Роберт Сцелефксении ( Словацкий произношение: [ɾɔːbɛɾt sɛlɛptʃɛːɲi] , родился 19 августа 1966, Жилина [1] ) является словацкий ученый из венгерского происхождения и член факультета математики, физики и информатики в Университете Коменского в Братиславе .
Его результаты по закрытию недетерминистических пространств под комплементом, независимо друг от друга , полученных в 1987 году также Нил Иммерман (результат , известный как теорема Иммерман-Szelepcsenyi ), принесли гёделевскую премию в АКМ и EATCS к обеим из них в 1995 году [2 ]
Научные статьи
- Роберт Селепсеньи: Метод принудительного перечисления для недетерминированных автоматов. Acta Informatica 26 (3): 279-284 (1988).
Рекомендации
- ^ Милан Стрхан, Дэвид Даниэль (ред.), Словакия и словаки - краткая энциклопедия , Энциклопедический институт Словацкой академии наук, 1994.
- ^ Гедель премии цитата из АКМ