Paper $126.50 ISBN: 9789053565766 Published July 2008 For sale only in the United States, its dependencies, the Philippines, and Canada

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