Diskussion:Satz von Immerman und Szelepcsényi

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Beweis[Quelltext bearbeiten]

"Der Beweis verwendet die Beweistechnik des interaktiven nichtdeterministischen Zählens." Etwas ausführlicher, was der Beweis grob umrissen denn so macht, wäre schon ganz interessant. :) 149.172.134.182 17:55, 1. Apr. 2017 (CEST)[Beantworten]

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Diskussion:Satz_von_Immerman_und_Szelepcsényi&oldid=164151616“