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...
Saved in:
Other Authors: | , , |
---|---|
Format: | Electronic Book Chapter |
Language: | English |
Published: |
Amsterdam University Press
2008
|
Series: | Texts in Logic and Games
|
Subjects: | |
Online Access: | DOAB: download the publication DOAB: description of the publication |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000naaaa2200000uu 4500 | ||
---|---|---|---|
001 | doab_20_500_12854_116891 | ||
005 | 20231005 | ||
003 | oapen | ||
006 | m o d | ||
007 | cr|mn|---annan | ||
008 | 20231005s2008 xx |||||o ||| 0|eng d | ||
020 | |a j.ctt46mv83 | ||
020 | |a 9789048501281 | ||
020 | |a 9789053565766 | ||
040 | |a oapen |c oapen | ||
024 | 7 | |a 10.2307/j.ctt46mv83 |c doi | |
041 | 0 | |a eng | |
042 | |a dc | ||
072 | 7 | |a UB |2 bicssc | |
100 | 1 | |a Flum, Jörg |4 edt | |
700 | 1 | |a Grädel, Erich |4 edt | |
700 | 1 | |a Wilke, Thomas |4 edt | |
700 | 1 | |a Flum, Jörg |4 oth | |
700 | 1 | |a Grädel, Erich |4 oth | |
700 | 1 | |a Wilke, Thomas |4 oth | |
245 | 1 | 0 | |a Logic and Automata |b History and Perspectives |
260 | |b Amsterdam University Press |c 2008 | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Texts in Logic and Games | |
506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
520 | |a 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. | ||
540 | |a Creative Commons |f https://creativecommons.org/licenses/by-nc-nd/4.0/ |2 cc |4 https://creativecommons.org/licenses/by-nc-nd/4.0/ | ||
546 | |a English | ||
650 | 7 | |a Information technology: general issues |2 bicssc | |
653 | |a Technology | ||
856 | 4 | 0 | |a www.oapen.org |u https://www.jstor.org/stable/10.2307/j.ctt46mv83 |7 0 |z DOAB: download the publication |
856 | 4 | 0 | |a www.oapen.org |u https://directory.doabooks.org/handle/20.500.12854/116891 |7 0 |z DOAB: description of the publication |