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