skip to content
Automata logics, and infinite games : a guide to current research Preview this item
ClosePreview this item
Checking...

Automata logics, and infinite games : a guide to current research

Author: Erich Grädel; Wolfgang Thomas; Thomas Wilke
Publisher: Berlin ; New York : Springer, ©2002.
Series: Lecture notes in computer science, 2500.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Erich Grädel; Wolfgang Thomas; Thomas Wilke
ISBN: 3540003886 9783540003885
OCLC Number: 223625598
Description: viii, 385 pages : illustrations ; 24 cm.
Contents: 1. [omega]-Automata / Berndt Farwer --
2. Infinite Games / Rene Mazala --
3. Determinization of Buchi-Automata / Markus Roggenbach --
4. Complementation of Buchi Automata Using Alternation / Felix Klaedtke --
5. Determinization and Complementation of Streett Automata / Stefan Schwoon --
6. Memoryless Determinacy of Parity Games / Ralf Kusters --
7. Algorithms for Parity Games / Hartmut Klauck --
8. Nondeterministic Tree Automata / Frank Niessner --
9. Alternating Tree Automata and Parity Games / Daniel Kirsten --
10. Model [mu]-Calculus and Alternating Tree Automata / Julia Zappe --
11. Strictness of the Modal [mu]-Calculus Hierarchy / Luca Alberucci --
12. Decidability of S1S and S2S / Mark Weyer --
13. The Complexity of Translating Logic to Finite Automata / Klaus Reinhardt --
14. Expressive Power of Monadic Second-Order Logic and Modal [mu]-Calculus / Philipp Rohde --
15. Prefix-Recognizable Graphs and Monadic Logic / Martin Leucker --
16. The Monadic Theory of Tree-like Structures / Dietmar Berwanger and Achim Blumensath --
17. Two-Way Tree Automata Solving Pushdown Games / Thierry Cachat --
18. Introduction to Guarded Logics / Thoralf Rasch --
19. Automata for Guarded Fixed Point Logics / Dietmar Berwanger and Achim Blumensath --
20. Some Fixed Point Basics / Carsten Fritz.
Series Title: Lecture notes in computer science, 2500.
Responsibility: Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"This book aims to be a 'Guide to Current Research.' ... it is a concise and uniform presentation of at least 50 papers, along with notes in various places that help the reader to Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/223625598> # Automata logics, and infinite games : a guide to current research
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "223625598" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891720295#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://dewey.info/class/004.0151/e21/> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/937501> ; # Game theory
    schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
    schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/16595081> ; # Thomas Wilke
    schema:contributor <http://viaf.org/viaf/115295085> ; # Erich Grädel
    schema:contributor <http://viaf.org/viaf/24669221> ; # Wolfgang Thomas
    schema:copyrightYear "2002" ;
    schema:datePublished "2002" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/891720295> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:name "Automata logics, and infinite games : a guide to current research"@en ;
    schema:productID "223625598" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/223625598#PublicationEvent/berlin_new_york_springer_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/891720295#Agent/springer> ; # Springer
    schema:url <http://www.springer.de/comp/lncs/index.html> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2500> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2500.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540003885> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA309669> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/223625598> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/937501> # Game theory
    a schema:Intangible ;
    schema:name "Game theory"@en ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t2500.htm>
    rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/115295085> # Erich Grädel
    a schema:Person ;
    schema:birthDate "1958" ;
    schema:familyName "Grädel" ;
    schema:givenName "Erich" ;
    schema:name "Erich Grädel" ;
    .

<http://viaf.org/viaf/16595081> # Thomas Wilke
    a schema:Person ;
    schema:birthDate "1965" ;
    schema:familyName "Wilke" ;
    schema:givenName "Thomas" ;
    schema:name "Thomas Wilke" ;
    .

<http://viaf.org/viaf/24669221> # Wolfgang Thomas
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Thomas" ;
    schema:givenName "Wolfgang" ;
    schema:name "Wolfgang Thomas" ;
    .

<http://worldcat.org/isbn/9783540003885>
    a schema:ProductModel ;
    schema:isbn "3540003886" ;
    schema:isbn "9783540003885" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/223625598> ; # Automata logics, and infinite games : a guide to current research
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.