Logic and Automata: History and Perspectives Contributor(s): Grädel, Erich (Editor), Flum, Jörg (Editor), Wilke, Thomas (Editor) |
|||
ISBN: 9053565760 ISBN-13: 9789053565766 Publisher: Amsterdam University Press
Binding Type: Paperback Published: July 2008 Annotation: 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. Click for more in this series: Texts in Logic and Games |
Additional Information |
BISAC Categories: - Mathematics | Logic |
Dewey: 511.3 |
Series: Texts in Logic and Games |
Physical Information: 1.47" H x 6.14" W x 9.21" L (2.24 lbs) 736 pages |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |