Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity /
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 reveals unexpected connections between advanced concepts in logic, descriptive s...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2016.
|
| Series: | Lecture Notes in Computer Science,
9802 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
