Logic and Automata: History and Perspectives
Jorg Flum, Erich Gradel, Thomas Wilke
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.
种类:
年:
2008
出版社:
Amsterdam University Press
语言:
english
页:
737
ISBN 10:
9048501288
ISBN 13:
9789053565766
系列:
Texts in Logic and Games, Volume 2
文件:
PDF, 4.27 MB
IPFS:
,
english, 2008