Umfang:
1 Online-Ressource
ISBN:
9789048501281
,
9789053565766
Serie:
Texts in Logic and Games
Inhalt:
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. This title is available in the OAPEN Library - http://www.oapen.org
Anmerkung:
English
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Logic and automata [Amsterdam] : Amsterdam University Press, ©2008 ISBN 9789053565766
Sprache:
Unbestimmte Sprache
Mehr zum Autor:
Flum, Jörg 1944-
