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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Skrzypczak, Michał (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Theoretical Computer Science and General Issues, 9802
Temas:
Machine theory.
Computer science.
Algorithms.
Computer science-Mathematics.
Discrete mathematics.
Software engineering.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Theory of Computation.
Discrete Mathematics in Computer Science.
Software Engineering.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares