Diskussion:Satz von Immerman und Szelepcsényi
Letzter Kommentar: vor 7 Jahren von 149.172.134.182 in Abschnitt Beweis
Beweis 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)