Entscheidbarkeitsfragen und Hierarchieresultate für Mehrkopfautomaten und verwandte Berechenbarkeitsmodelle

by Holger Petersen