Kniha Descriptive Set Theoretic Methods in Automata Theory Michal Skrzypczak

Descriptive Set Theoretic Methods in Automata Theory

Decidability and Topological Complexity

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
----??The book is based on the PhD thesis "Descriptive Set Theoretic Methods in Automata Theory", aw...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2016
Stránek
211
EAN
9783662529461
ISBN
3662529467
Enbook ID
12821625
Hmotnost
346
Rozměry
236 x 160 x 14

Kompletní popis

----??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 set theory, topology and automata theory and provides many deep contributions and insights on the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in that theory from the point of view of topology.??"...the thesis of Michal Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas." Thomas Colcombet?

Mohlo by vás zajímat

218
236
2 286
671

Payton Hidden Away

Jonathan Korbecki
210

Controlled Environment

David P. D. Munns
1 431

Love and Ruin

Evan Ratliff
325

How to Play the Game?

Karsten Edelburg
438
617

Skin Deep

Homer L Marquit
363
1 108

Zákaznicí kteří koupili tuto knihu koupili také

Gabko pomáha

Alžbeta Skalová
337

Rosenfreund

Johannes Wesselhöft
592

Me Ilusione

Gabriel Gzz Sanchez
254

Das Licht

Gottlieb Twerdy
416

El cancer / Cancer

Suzanne Powell
240
439

Detox verde

Blanca González Villegas
307

Verdi y Wagner

Fernando Fraga Suárez
593

Chakras : el regreso a casa

María José Álvarez Garrido
529

Zielnik Rosliny uprawne

Malgorzata Garbarczyk
195