Logic and Automata
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 co...
Sábháilte in:
| Formáid: | Online |
|---|---|
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Amsterdam University Press
2023
|
| Ábhair: | |
| Rochtain ar líne: | ONIX_20231005_9789048501281_2564 |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
| _version_ | 1869517838159446016 |
|---|---|
| collection | Directory of Open Access Books |
| 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. This title is available in the OAPEN Library - http://www.oapen.org. |
| format | Online |
| id | doab-20.500.12854ir-116891 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2023 |
| publishDateRange | 2023 |
| publishDateSort | 2023 |
| publisher | Amsterdam University Press |
| publisherStr | Amsterdam University Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1168912024-04-14T10:29:07Z Logic and Automata Flum, Jörg Grädel, Erich Wilke, Thomas Technology thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics 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. 2023-10-05T11:16:41Z 2023-10-05T11:16:41Z 2008 book ONIX_20231005_9789048501281_2564 9789048501281 9789053565766 https://directory.doabooks.org/handle/20.500.12854/116891 eng Texts in Logic and Games image/jpeg Attribution-NonCommercial-NoDerivatives 4.0 International https://www.jstor.org/stable/10.2307/j.ctt46mv83 Amsterdam University Press 10.2307/j.ctt46mv83 10.2307/j.ctt46mv83 de2ecbe7-1037-4e96-8c3a-5a842d921e04 9789048501281 9789053565766 open access |
| spellingShingle | Technology thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics Logic and Automata |
| title | Logic and Automata |
| title_full | Logic and Automata |
| title_fullStr | Logic and Automata |
| title_full_unstemmed | Logic and Automata |
| title_short | Logic and Automata |
| title_sort | logic and automata |
| topic | Technology thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics |
| topic_facet | Technology thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics |
| url | ONIX_20231005_9789048501281_2564 |