Cargando…

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

Descripción completa

Detalles Bibliográficos
Autores principales: Flum, Jorg, Gradel, Erich, Wilk, Thomas
Lenguaje:eng
Publicado: Amsterdam Univ. Press 2007
Materias:
Acceso en línea:http://cds.cern.ch/record/1093367
_version_ 1780913835931074560
author Flum, Jorg
Gradel, Erich
Wilk, Thomas
author_facet Flum, Jorg
Gradel, Erich
Wilk, Thomas
author_sort Flum, Jorg
collection CERN
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. Title: Logic and Automata : History and Perspectives Print ISBN: 9789053565766 Author(s): Flum, Jörg; Gr; del, Erich; Wilke, Thomas eISBN: 9789048501281 Publisher: Amsterdam University Press Dewey: 511.3 Publication Date: 01 Jan, 2007 Pages: 737 Category: Mathematics LCCN: Language: English Edition: N/A LCSH:
id cern-1093367
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2007
publisher Amsterdam Univ. Press
record_format invenio
spelling cern-10933672021-04-22T01:50:35Zhttp://cds.cern.ch/record/1093367engFlum, JorgGradel, ErichWilk, ThomasLogic and Automata: History and PerspectivesMathematical Physics and MathematicsMathematical 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. Title: Logic and Automata : History and Perspectives Print ISBN: 9789053565766 Author(s): Flum, Jörg; Gr; del, Erich; Wilke, Thomas eISBN: 9789048501281 Publisher: Amsterdam University Press Dewey: 511.3 Publication Date: 01 Jan, 2007 Pages: 737 Category: Mathematics LCCN: Language: English Edition: N/A LCSH:Amsterdam Univ. Pressoai:cds.cern.ch:10933672007
spellingShingle Mathematical Physics and Mathematics
Flum, Jorg
Gradel, Erich
Wilk, Thomas
Logic and Automata: History and Perspectives
title Logic and Automata: History and Perspectives
title_full Logic and Automata: History and Perspectives
title_fullStr Logic and Automata: History and Perspectives
title_full_unstemmed Logic and Automata: History and Perspectives
title_short Logic and Automata: History and Perspectives
title_sort logic and automata: history and perspectives
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/1093367
work_keys_str_mv AT flumjorg logicandautomatahistoryandperspectives
AT gradelerich logicandautomatahistoryandperspectives
AT wilkthomas logicandautomatahistoryandperspectives