cover of book
 

Logic and Automata: History and Perspectives
edited by Jörg Flum, Erich Grädel and Thomas Wilke
Amsterdam University Press, 2008
Paper: 978-90-5356-576-6
Library of Congress Classification QA267.L624 2008
Dewey Decimal Classification 340349

ABOUT THIS BOOK | AUTHOR BIOGRAPHY | REVIEWS | TOC
ABOUT THIS BOOK

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.

 


Reference metadata exposed for Zotero via unAPI.