Logic and Automata History and Perspectives

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 volu...

Cur síos iomlán

Sábháilte in:
Sonraí bibleagrafaíochta
Rannpháirtithe: Flum, Jörg (Eagarthóir), Grädel, Erich (Eagarthóir), Wilke, Thomas (Eagarthóir)
Formáid: Leictreonach Caibidil leabhair
Teanga:Béarla
Foilsithe / Cruthaithe: Amsterdam University Press 2008
Sraith:Texts in Logic and Games
Ábhair:
Rochtain ar líne:DOAB: download the publication
DOAB: description of the publication
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
Cur síos
Achoimre: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.
ISBN:j.ctt46mv83
9789048501281
9789053565766
Rochtain:Open Access