Ir al contenido

Róbert Szelepcsényi

De Wikipedia, la enciclopedia libre
Esta es una versión antigua de esta página, editada a las 20:00 21 dic 2013 por JacobRodrigues (discusión · contribs.). La dirección URL es un enlace permanente a esta versión, que puede ser diferente de la versión actual.

Róbert Szelepcsényi (n. 1967) fue un estudiante eslovaco de descendencia húngara, miembro de la Facultad de Matemáticas, Física e Informática de la Universidad Comenius de Bratislava, ubicada en la capital eslovaca Bratislava.

Sus resultados en la clausura de espacio no determinista bajo complemento, también obtenido independientemente en 1987 por Neil Immerman (y conocido actualmente como el Teorema de Immerman–Szelepcsényi), les significó a ambos el Premio Gödel de la ACM y la EATCS en 1995.[1]​

Artículos científicos

  • Róbert Szelepcsényi: The Method of Forced Enumeration for Nondeterministic Automata. Acta Informatica 26(3): 279-284 (1988)

Referencias

  1. ↑ Reseña de la ACM del Premio Gödel
Obtenido de «https://es.wikipedia.org/w/index.php?title=Róbert_Szelepcsényi&oldid=71507754»