Logic and Automata
History and Perspectives
Erich Grädel
Jörg Flum
Thomas Wilke
9789053565766
736 pages
Amsterdam University Press
Overview
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.
Author Bio
Erich Grädel is professor of mathematical logic at the University of Aachen.
Jörg Flum is professor of mathematical logic at the University of Freiberg.
Thomas Wilke is professor of computer science at the University of Kiel.
