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)Beantworten