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.

Full Product Details

9789053565766

Table of Contents

Reviews

Mathematical logic and automata theory are basic to the[-]theory of computation, and for the verification and[-]synthesis of computing systems. This comprehensive volume[-]gives a grand view of the field and its connections to[-]complexity theory, algorithms, and games.[-][-]Professor Bernhard von Stengel, London School of Economics

Mathematical logic and automata theory are basic to the theory of computation, and for the verification and synthesis of computing systems. This comprehensive volume gives a grand view of the field and its connections to complexity theory, algorithms, and games. Professor Bernhard von Stengel, London School of Economics

Author Information

Jorg Flum is professor of mathematical logic at the University of Freiberg. Erich Gradel is professor of mathematical logic at the University of Aachen. Thomas Wilke is professor of computer science at the University of Kiel.

Tab Content 6

Customer Reviews

Recent Reviews

Countries Available