Logic and Automata

Logic and Automata
Author :
Publisher : Amsterdam University Press
Total Pages : 737
Release :
ISBN-10 : 9789053565766
ISBN-13 : 9053565760
Rating : 4/5 (760 Downloads)

Book Synopsis Logic and Automata by : Jörg Flum

Download or read book Logic and Automata written by Jörg Flum and published by Amsterdam University Press. This book was released on 2008 with total page 737 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Logic and Automata Related Books