Logic and automata
Subtitle: history and perspectives
By: edited by Jörg Flum, Erich Grädel, Thomas Wilke.
Contributors: Flum, Jörg.; Grädel, Erich, 1958-; Wilke, Thomas, 1965-
Series: Texts in logic and games -- v. 2
Publisher: Amsterdam University Press
Published: 2008
Place of publication: [Amsterdam]
Language: eng
Number of pages: 736
ISBN-13: 9789053565766
Subjects: Machine theory; Logic, Symbolic and mathematical; Computer science -- Mathematics; Computational complexity
Notes: " ... occasion of the 60th birthday of Wolfgang Thomas to present a tour d'horizon on automata theory and logic"--P. [4] of cover.

Includes bibliographical references.