Роберт Селепсеньи - Róbert Szelepcsényi
Роберт Селепсеньи (Словацкое произношение:[ˈɾɔːbɛɾt ˈsɛlɛptʃɛːɲi]; родился 19 августа 1966 г., Жилина[1]) это словацкий компьютерный ученый Венгерский спуск и член Факультет математики, физики и информатики из Коменский университет в Братислава.
Его результаты по закрытию недетерминированное пространство под дополнением, независимо полученным в 1987 г. Нил Иммерман (результат, известный как Теорема Иммермана – Селепсеньи ), принес Премия Гёделя из ACM и EATCS им обоим в 1995 году.[2]
Научные статьи
- Роберт Селепсеньи: Метод принудительного перечисления для недетерминированных автоматов. Acta Informatica 26(3): 279-284 (1988)
Рекомендации
- ^ Милан Стрхан, Дэвид Даниэль (редакторы), Словакия и словаки - краткая энциклопедия, Энциклопедический институт Словацкой академии наук, 1994.
- ^ Цитирование премии Гёделя от ACM
Авторитетный контроль  |
|---|
 | Эта словацкая биографическая статья представляет собой заглушка. Вы можете помочь Википедии расширяя это. |
| P ≟ NP | Эта биографическая статья, относящаяся к специалист в области информатики это заглушка. Вы можете помочь Википедии расширяя это. |