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

Full description

Saved in:
Bibliographic Details
Other Authors: Flum, Jörg (Editor), Grädel, Erich (Editor), Wilke, Thomas (Editor)
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