Logic and Automata: History and Perspectives by Jorg FlumLogic and Automata: History and Perspectives by Jorg Flum

Logic and Automata: History and Perspectives

EditorJorg Flum

Paperback | July 15, 2008

Pricing and Purchase Info

$138.92 online 
$149.50 list price save 7%
Earn 695 plum® points

In stock online

Ships free on orders over $25

Not available in stores


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.
Jörg Flum is professor of mathematical logic at the University of Freiberg. Erich Grädel is professor of mathematical logic at the University of Aachen. Thomas Wilke is professor of computer science at the University of Kiel.
Title:Logic and Automata: History and PerspectivesFormat:PaperbackDimensions:736 pages, 9.5 × 6.3 × 1.7 inPublished:July 15, 2008Publisher:Amsterdam University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9053565760

ISBN - 13:9789053565766

Look for similar items by category:


Table of Contents

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