@dblp

On the Succinctness of Alternating Parity Good-For-Games Automata.

, , , und . FSTTCS, Volume 182 von LIPIcs, Seite 41:1-41:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Links und Ressourcen

Tags