Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity (Lecture Notes in Computer Science)
Dieses Buch verbindet hochrangige Mengenlehre mit Automaten, erklärt Entscheidungsfragen in formalen Systemen und beleuchtet die topologische Ordnung ...