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
Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Loading
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:

Reviews

Table of 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