Logic and Automata : History and Perspectives

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 volu...

Full description

Bibliographic Details
Other Authors: Flum, Jörg (Editor), Wilke, Thomas (Editor), Grädel, Erich (Editor)
Format: eBook
Published: Amsterdam University Press 2007
Subjects:
Online Access:Get fulltext