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...

Full description

Bibliographic Details
Main Author: Skrzypczak, Michał
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2016, 2016
Edition:1st ed. 2016
Series:Theoretical Computer Science and General Issues
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Subclasses of regular languages
  • Thin algebras
  • Extensions of regular languages