Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity (Lecture Notes in Computer Science) by Michal Skrzypczak
English | 8 Aug. 2016 | ISBN: 3662529467 | 228 Pages | PDF (True) | 3.15 MB
The book is based on the PhD thesis œDescriptive Set Theoretic Methods in Automata Theory, awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information.
"¦the thesis of MichaÅ‚ Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas. Thomas Colcombet.
Buy Premium From My Links To Support Me & Download with MaX SPeeD!