Preserving and Exhibiting Media Art
Julia Noordegraaf, Vinzenz Hediger, Cosetta Saba, Barbara Le Maitre (red.)
- Titel
- Logic and Automata
- Subtitel
- History and Perspectives
- Redacteurs
- Erich Grädel
- Jörg Flum
- Thomas Wilke
- Prijs
- € 86,95 excl. BTW
- ISBN
- 9789053565766
- Uitvoering
- Paperback
- Aantal pagina's
- 736
- Taal
- Engels
- Publicatiedatum
- 29 - 11 - 2007
- Afmetingen
- 15.6 x 23.4 cm
- Open access
- Download op Open Access Platform
- Categorie
- Mediastudies
- Discipline
- Film, media en communicatie
Table of Contents
- 6
Preface
- 8
1. On the topological complexity of tree languages
- 10
2. Nonederministic controllers of nondeterministic preocesses - 30
3. Reachability in continuous-time Markov reward decision processes
- 54
4. Logical theories and compatible operations
- 74
5.
Forest algebras - 108
6. Automata and semigroups recognizing infinite words - 134
7. Deterministic graph grammars - 170
8. Quantifier-free definable graph opreations preserving recognizability
- 252
9.
First-order definable languages - 262
10. Matrix-based complexity functions and recognizable picture languages
- 308
11. Apllying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games - 332
12. Logic, graphs and algorithms - 358
13. Non-regular fixed-points logics and games - 424
14. The universal automaton - 458
15. Deterministic top-down tree automata: past, present, and future - 506
16. Expressive power of monadic logics on words, trees, pictures and graphs - 532
17. Structured strategies in games on graphs - 554
18. Counting in trees - 576
19.
Modular quantifiers - 614
20.
Automata: from logics to algorithms - 630
Recensies en Artikelen
"Mathematical logic and automata theory are basic to the
theory of computation, and for the verification and
synthesis of computing systems. This comprehensive volume
gives a grand view of the field and its connections to
complexity theory, algorithms, and games."
Professor Bernhard von Stengel, London School of Economics
Logic and Automata
History and Perspectives
Wiskundige logica en automata theorie zijn twee wetenschappelijke disciplines die nauw met elkaar verbonden zijn. Deze relatie is niet alleen fundamenteel voor velen theoretische resultaten, maar vormt ook de basis voor een coherente methodologie voor de controle en synthese van gegevensverwerkingssystemen.
De auteurs van Logic en Automata grijpen de gelegenheid van de zestigste verjaardag van Wolfgang Thomas aan om een 'tour d'horizon' op het gebied van automata theory en logica te geven. De twintig hiervoor verzamelde essays beslaan verschillende facetten van de logica en automata theorie, ze benadrukken de verbanden met andere disciplines als complexiteitstheorie, games, algorithms en semi-groep theorie en bespreken eigentijdse uitdagingen op dit gebied.
De auteurs van Logic en Automata grijpen de gelegenheid van de zestigste verjaardag van Wolfgang Thomas aan om een 'tour d'horizon' op het gebied van automata theory en logica te geven. De twintig hiervoor verzamelde essays beslaan verschillende facetten van de logica en automata theorie, ze benadrukken de verbanden met andere disciplines als complexiteitstheorie, games, algorithms en semi-groep theorie en bespreken eigentijdse uitdagingen op dit gebied.
Redacteurs
Erich Grädel
Erich Grädel is professor of mathematical logic at the University of Aachen.
Jörg Flum
Jörg Flum is professor of mathematical logic at the University of Freiberg.
Thomas Wilke
Thomas Wilke is professor of computer science at the University of Kiel.
