Róbert Szelepcsényi

E1913452 UNEXPLORED

Róbert Szelepcsényi is a Slovak theoretical computer scientist best known for independently proving the Immerman–Szelepcsényi theorem, which established the closure of nondeterministic space under complement.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Róbert Szelepcsényi canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

NL → equalityProvedBy → Róbert Szelepcsényi ⓘ

subject linked to: complexity class NL