Coverart for item
The Resource Automata, logics, and infinite games : a guide to current research, Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)

Automata, logics, and infinite games : a guide to current research, Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)

Label
Automata, logics, and infinite games : a guide to current research
Title
Automata, logics, and infinite games
Title remainder
a guide to current research
Statement of responsibility
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Contributor
Subject
Language
eng
Cataloging source
DLC
Index
index present
http://library.link/vocab/relatedWorkOrContributorDate
  • 1958-
  • 1947-
  • 1965-
http://library.link/vocab/relatedWorkOrContributorName
  • Grädel, Erich
  • Thomas, Wolfgang
  • Wilke, Thomas
Series statement
Lecture notes in computer science
Series volume
2500
http://library.link/vocab/subjectName
  • Computer science
  • Machine theory
  • Game theory
  • Logic, Symbolic and mathematical
Label
Automata, logics, and infinite games : a guide to current research, Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Instantiates
Publication
Note
"Tutorial" -- Cover
Bibliography note
Includes bibliographical references and index
Contents
  • 1.
  • [omega]-Automata/
  • Berndt Farwer
  • p. 3
  • 2.
  • Infinite Games/
  • Rene Mazala
  • p. 23
  • 3.
  • Determinization of Buchi-Automata/
  • Markus Roggenbach
  • p. 43
  • 4.
  • Complementation of Buchi Automata Using Alternation/
  • Felix Klaedtke
  • p. 61
  • 5.
  • Determinization and Complementation of Streett Automata/
  • Stefan Schwoon
  • p. 79
  • 6.
  • Memoryless Determinacy of Parity Games/
  • Ralf Kusters
  • p. 95
  • 7.
  • Algorithms for Parity Games/
  • Hartmut Klauck
  • p. 107
  • 8.
  • Nondeterministic Tree Automata/
  • Frank Niessner
  • p. 135
  • 9.
  • Alternating Tree Automata and Parity Games/
  • Daniel Kirsten
  • p. 153
  • 10.
  • Model [mu]-Calculus and Alternating Tree Automata/
  • Julia Zappe
  • p. 171
  • 11.
  • Strictness of the Modal [mu]-Calculus Hierarchy/
  • Luca Alberucci
  • p. 185
  • 12.
  • Decidability of S1S and S2S/
  • Mark Weyer
  • p. 207
  • 13.
  • Complexity of Translating Logic to Finite Automata/
  • Klaus Reinhardt
  • p. 231
  • 14.
  • Expressive Power of Monadic Second-Order Logic and Modal [mu]-Calculus/
  • Philipp Rohde
  • p. 239
  • 15.
  • Prefix-Recognizable Graphs and Monadic Logic/
  • Martin Leucker
  • p. 263
  • 16.
  • Monadic Theory of Tree-like Structures/
  • Dietmar Berwanger
  • Achim Blumensath
  • p. 285
  • 17.
  • Two-Way Tree Automata Solving Pushdown Games/
  • Thierry Cachat
  • p. 303
  • 18.
  • Introduction to Guarded Logics/
  • Thoralf Rasch
  • p. 321
  • 19.
  • Automata for Guarded Fixed Point Logics/
  • Dietmar Berwanger
  • Achim Blumensath
  • p. 343
  • 20.
  • Some Fixed Point Basics/
  • Carsten Fritz
  • p. 359
  • Literature.
  • p. 365
  • Symbol Index.
  • p. 377
  • Index.
  • p. 381
Control code
03b20967949
Dimensions
24 cm.
Extent
viii, 385 p.
Isbn
9783540003885
Lccn
2002044587
Other physical details
ill.
Label
Automata, logics, and infinite games : a guide to current research, Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Publication
Note
"Tutorial" -- Cover
Bibliography note
Includes bibliographical references and index
Contents
  • 1.
  • [omega]-Automata/
  • Berndt Farwer
  • p. 3
  • 2.
  • Infinite Games/
  • Rene Mazala
  • p. 23
  • 3.
  • Determinization of Buchi-Automata/
  • Markus Roggenbach
  • p. 43
  • 4.
  • Complementation of Buchi Automata Using Alternation/
  • Felix Klaedtke
  • p. 61
  • 5.
  • Determinization and Complementation of Streett Automata/
  • Stefan Schwoon
  • p. 79
  • 6.
  • Memoryless Determinacy of Parity Games/
  • Ralf Kusters
  • p. 95
  • 7.
  • Algorithms for Parity Games/
  • Hartmut Klauck
  • p. 107
  • 8.
  • Nondeterministic Tree Automata/
  • Frank Niessner
  • p. 135
  • 9.
  • Alternating Tree Automata and Parity Games/
  • Daniel Kirsten
  • p. 153
  • 10.
  • Model [mu]-Calculus and Alternating Tree Automata/
  • Julia Zappe
  • p. 171
  • 11.
  • Strictness of the Modal [mu]-Calculus Hierarchy/
  • Luca Alberucci
  • p. 185
  • 12.
  • Decidability of S1S and S2S/
  • Mark Weyer
  • p. 207
  • 13.
  • Complexity of Translating Logic to Finite Automata/
  • Klaus Reinhardt
  • p. 231
  • 14.
  • Expressive Power of Monadic Second-Order Logic and Modal [mu]-Calculus/
  • Philipp Rohde
  • p. 239
  • 15.
  • Prefix-Recognizable Graphs and Monadic Logic/
  • Martin Leucker
  • p. 263
  • 16.
  • Monadic Theory of Tree-like Structures/
  • Dietmar Berwanger
  • Achim Blumensath
  • p. 285
  • 17.
  • Two-Way Tree Automata Solving Pushdown Games/
  • Thierry Cachat
  • p. 303
  • 18.
  • Introduction to Guarded Logics/
  • Thoralf Rasch
  • p. 321
  • 19.
  • Automata for Guarded Fixed Point Logics/
  • Dietmar Berwanger
  • Achim Blumensath
  • p. 343
  • 20.
  • Some Fixed Point Basics/
  • Carsten Fritz
  • p. 359
  • Literature.
  • p. 365
  • Symbol Index.
  • p. 377
  • Index.
  • p. 381
Control code
03b20967949
Dimensions
24 cm.
Extent
viii, 385 p.
Isbn
9783540003885
Lccn
2002044587
Other physical details
ill.

Library Locations

    • Harold Cohen LibraryBorrow it
      Ashton Street, Liverpool, L69 3DA, GB
      53.418074 -2.967913
Processing Feedback ...