Automata, logics, and infinite games. A guide to current research
type: Item
instance of: scholarly article
title: Automata, logics, and infinite games. A guide to current research
zbMATH Open document ID: 1011.00037
published in: Lecture Notes in Computer Science
publication date: 2003-04-22T00:00:00Z
full work available at URL: t2500.htm
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Farwer, Berndt}, \(\omega\)-automata, 3-21, 365-376 [Zbl 1021.68045] \textit{Mazala, René}, Infinite games, 23-38, 365-376 [Zbl 1021.91502] \textit{Roggenbach, Markus}, Determinization of Büchi-automata, 43-60, 365-376 [Zbl 1021.03510] \textit{Klaedtke, Felix}, Complementation of Büchi automata using alternation, 61-77, 365-376 [Zbl 1021.03509] \textit{Schwoon, Stefan}, Determinization and complementation of Streett automata, 79-91, 365-376 [Zbl 1021.68047] \textit{Küsters, Ralf}, Memoryless determinacy of parity games, 95-106, 365-376 [Zbl 1021.91501] \textit{Klauck, Hartmut}, Algorithms for parity games, 107-129, 365-376 [Zbl 1021.91500] \textit{Nießner, Frank}, Nondeterministic tree automata, 135-152, 365-376 [Zbl 1021.68046] \textit{Kirsten, Daniel}, Alternating tree automata and parity games, 153-167, 365-376 [Zbl 1021.03030] \textit{Zappe, Júlia}, Modal \(\mu\)-calculus and alternating tree automata, 171-184, 365-376 [Zbl 1021.03020] \textit{Alberucci, Luca}, Strictness of the modal \(\mu\)-calculus hierarchy, 185-201, 365-376 [Zbl 1021.03012] \textit{Weyer, Mark}, Decidability of S1S and S2S, 207-230, 365-376 [Zbl 1021.03001] \textit{Reinhardt, Klaus}, The complexity of translating logic to finite automata, 231-238, 365-376 [Zbl 1021.03031] \textit{Rohde, Philipp}, Expressive power of monadic second-order logic and modal \(\mu\)-calculus, 239-257, 365-376 [Zbl 1021.03019] \textit{Leucker, Martin}, Prefix-recognizable graphs and monadic logic, 263-283, 365-376 [Zbl 1021.03505] \textit{Berwanger, Dietmar; Blumensath, Achim}, The monadic theory of tree-like structures, 285-301, 365-376 [Zbl 1021.68051] \textit{Cachat, Thierry}, Two-way tree automata solving pushdown games, 303-317, 365-376 [Zbl 1021.68044] \textit{Räsch, Thoralf}, Introduction to guarded logics, 321-341, 365-376 [Zbl 1021.03018] \textit{Berwanger, Dietmar; Blumensath, Achim}, Automata for guarded fixed point log…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 91-06
zbMATH DE Number: 1898214
zbMATH Keywords: Automata
zbMATH Keywords: Infinite games
zbMATH Keywords: Logics
MaRDI profile type: Publication
DOI: 10.1007/3-540-36387-4
OpenAlex ID: W2502103274
description: scientific article; zbMATH DE number 1898214