skip to content
Automata, logics, and infinite games Preview this item
ClosePreview this item
Checking...

Automata, logics, and infinite games

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 : Document   Computer File : 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

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Erich Grädel; Wolfgang Thomas; Thomas Wilke
ISBN: 3540003886 9783540003885
OCLC Number: 51210587
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.).
More information:

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/51210587> # Automata, logics, and infinite games
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "51210587" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891720295#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/891720295#Topic/automatentheorie> ; # Automatentheorie
   schema:about <http://dewey.info/class/004.0151/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/891720295#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/891720295#Topic/jeux_theorie_des> ; # Jeux, Théorie des
   schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/891720295#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
   schema:about <http://experiment.worldcat.org/entity/work/data/891720295#Topic/speltheorie> ; # Speltheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/891720295#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
   schema:about <http://experiment.worldcat.org/entity/work/data/891720295#Topic/logica> ; # Logica
   schema:about <http://id.worldcat.org/fast/937501> ; # Game theory
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/115295085> ; # Erich Grädel
   schema:contributor <http://viaf.org/viaf/16595081> ; # Thomas Wilke
   schema:contributor <http://viaf.org/viaf/24669221> ; # Wolfgang Thomas
   schema:datePublished "2002" ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891720295> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891720295#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Automata, logics, and infinite games"@en ;
   schema:productID "51210587" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/51210587#PublicationEvent/berlin_new_york_springer_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/891720295#Agent/springer> ; # Springer
   schema:url <http://link.springer.com/10.1007/3-540-36387-4> ;
   schema:url <http://dx.doi.org/10.1007/3-540-36387-4> ;
   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/51210587> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/891720295#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/51210587> ; # Automata, logics, and infinite games
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/891720295#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
   schema:name "Automates mathématiques, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/891720295#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
   schema:name "Informatique--Mathématiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/891720295#Topic/jeux_theorie_des> # Jeux, Théorie des
    a schema:Intangible ;
   schema:name "Jeux, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/891720295#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<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.com/10.1007/3-540-36387-4>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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