@book{no_author/02a,
TITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {viii, 385},
YEAR = {2002},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Farwer/02,
AUTHOR = {Farwer, Berndt},
TITLE = {$\omega$-automata},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {3-21},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Mazala/02,
AUTHOR = {Mazala, Ren{\'e}},
TITLE = {Infinite games},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {23-38},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Roggenbach/02,
AUTHOR = {Roggenbach, Markus},
TITLE = {Determinization of B{\"u}chi-automata},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {43-60},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Klaedtke/02,
AUTHOR = {Klaedtke, Felix},
TITLE = {Complementation of B{\"u}chi automata using alternation},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {61-77},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Schwoon/02,
AUTHOR = {Schwoon, Stefan},
TITLE = {Determinization and complementation of Streett automata},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {79-91},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Kusters/02,
AUTHOR = {K{\"u}sters, Ralf},
TITLE = {Memoryless determinacy of parity games},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {95-106},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Klauck/02a,
AUTHOR = {Klauck, Hartmut},
TITLE = {Algorithms for parity games},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {107-129},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=107},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Niessner/02,
AUTHOR = {Nie\ss{}ner, Frank},
TITLE = {Nondeterministic tree automata},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {135-152},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Kirsten/02b,
AUTHOR = {Kirsten, Daniel},
TITLE = {Alternating tree automata and parity games},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {153-167},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=153},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Zappe/02,
AUTHOR = {Zappe, J{\'u}lia},
TITLE = {Modal $\mu$-calculus and alternating tree automata},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {171-184},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=171},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Alberucci/02,
AUTHOR = {Alberucci, Luca},
TITLE = {Strictness of the modal $\mu$-calculus hierarchy},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {185-203},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=185},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Weyer/02,
AUTHOR = {Weyer, Mark},
TITLE = {Decidability of S1S and S2S},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {207-230},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Reinhardt/02,
AUTHOR = {Reinhardt, Klaus},
TITLE = {The complexity of translating logic to finite automata},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {231-238},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Rohde/02,
AUTHOR = {Rohde, Philipp},
TITLE = {Expressive power of monadic second-order logic and modal $\mu$-calculus},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {239-257},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=239},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Leucker/02,
AUTHOR = {Leucker, Martin},
TITLE = {Prefix-recognizable graphs and monadic logic},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {263-283},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=263},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Berwanger-Blumensath/02,
AUTHOR = {Berwanger, Dietmar and Blumensath, Achim},
TITLE = {The monadic theory of tree-like structures},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {285-301},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=285},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Cachat/02a,
AUTHOR = {Cachat, Thierry},
TITLE = {Two-way tree automata solving pushdown games},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {303-317},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=303},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Rasch/02,
AUTHOR = {R{\"a}sch, Thoralf},
TITLE = {Introduction to guarded logics},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {321-341},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=321},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Berwanger-Blumensath/02a,
AUTHOR = {Berwanger, Dietmar and Blumensath, Achim},
TITLE = {Aautomata for guarded fixed point logics},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {343-355},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=343},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Fritz/02,
AUTHOR = {Fritz, Carsten},
TITLE = {Some fixed point basics},
BOOKTITLE = {Automata, Logics, and Infinite Games --- A Guide to Current Research},
SERIES = {LNCS},
VOLUME = {2500},
PAGES = {359-364},
YEAR = {2002},
EDITOR = {Gr{\"a}del, Erich and Thomas, Wolfgang and Wilke, Thomas},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2500&spage=359},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}