Logic and Automata

Logic and Automata PDF Author: Jörg Flum
Publisher: Amsterdam University Press
ISBN: 9053565760
Category : Mathematics
Languages : en
Pages : 737

Get Book Here

Book Description
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.