ENGLISH

Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games)

By Jörg Flum , Erich Grädel , Thomas Wilke

Book information

Year
2008
ISBN
9789048501281, 9789053565766, 9053565760
Language
english
Format
PDF
Filesize
4 MB (4464692 bytes)
Pages
736\737
Topic
Mathematics Logic
Time added
2011-06-04 13:46:07

Description

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.

Similar books