Logic and Automata

History and Perspectives

Edited by Jörg Flum, Erich Grädel, and Thomas Wilke

Edited by Jörg Flum, Erich Grädel, and Thomas Wilke

Distributed for Amsterdam University Press

736 pages | 6-3/10 x 9-1/2 | © 2008
Paper $126.50 ISBN: 9789053565766 Published July 2008 For sale only in the United States, its dependencies, the Philippines, and Canada
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.
On the topological complexity of tree languages
   André Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski
Nondeterministic controllers of nondeterministic processes
   André Arnold, Igor Walukiewicz
Reachability in continuous-time Markov reward decision processes
   Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Logical theories and compatible operations
   Achim Blumensath, Thomas Colcombet, Christof Löding
Forest algebras
   Mikolaj Bojanczyk, Igor Walukiewicz
Automata and semigroups recognizing infinite words
   Olivier Carton, Dominique Perrin, Jean-Éric Pin
Deterministic graph grammars
   Didier Caucal
Quantifier-free definable graph operations preserving recognizability
   Bruno Courcelle
First-order definable languages
   Volker Diekert, Paul Gastin
Matrix-based complexity functions and recognizable picture languages
   Dora Giammarresi, Antonio Restivo
Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games
   Hugo Gimbert, Wieslaw Zielonka
Logic, graphs, and algorithms
   Martin Grohe
Non-regular fixed-point logics and games
   Stephan Kreutzer, Martin Lange
The universal automaton
   Sylvain Lombardy, Jacques Sakarovitch
Deterministic top-down tree automata: past, present, and future
   Wim Martens, Frank Neven, Thomas Schwentick
Expressive power of monadic logics on words, trees, pictures, and graphs
   Oliver Matz, Nicole Schweikardt
Structured strategies in games on graphs
   R. Ramanujam, Sunil Simon
Counting in trees
   Helmut Seidl, Thomas Schwentick, Anca Muscholl
Modular quantifiers
   Howard Straubing, Denis Thérien
Automata: from logics to algorithms
   Moshe Y. Vardi, Thomas Wilke
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here

Chicago Manual of Style |

RSS Feed

RSS feed of the latest books from Amsterdam University Press. RSS Feed