Hummel, Szczepan; Michalewski, Henryk; Niwiński, Damian On the Borel inseparability of game tree languages. (English) Zbl 1236.68170 Albers, Susanne (ed.) et al., STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26–28, 2009. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-09-5). LIPIcs – Leibniz International Proceedings in Informatics 3, 565-576, electronic only (2009). MSC: 68Q45 91A43 68Q15 03D05 PDFBibTeX XMLCite \textit{S. Hummel} et al., LIPIcs -- Leibniz Int. Proc. Inform. 3, 565--576 (2009; Zbl 1236.68170) Full Text: DOI arXiv Link
Colcombet, Thomas; Niwiński, Damian On the positional determinacy of edge-labeled games. (English) Zbl 1138.91015 Theor. Comput. Sci. 352, No. 1-3, 190-196 (2006). Reviewer: Massimiliano Ferrara (Reggio Calabria) MSC: 91A43 68Q60 03D05 68Q45 PDFBibTeX XMLCite \textit{T. Colcombet} and \textit{D. Niwiński}, Theor. Comput. Sci. 352, No. 1--3, 190--196 (2006; Zbl 1138.91015) Full Text: DOI
Knapik, Teodor; Niwiński, Damian; Urzyczyn, Paweł; Walukiewicz, Igor Unsafe grammars and panic automata. (English) Zbl 1081.68054 Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 1450-1461 (2005). MSC: 68Q60 68Q42 68Q45 03B25 03D05 91A80 PDFBibTeX XMLCite \textit{T. Knapik} et al., Lect. Notes Comput. Sci. 3580, 1450--1461 (2005; Zbl 1081.68054) Full Text: DOI
Arnold, A.; Niwiński, D. Rudiments of \(\mu\)-calculus. (English) Zbl 0968.03002 Studies in Logic and the Foundations of Mathematics. 146. Amsterdam: Elsevier. xvii, 277 p. (2001). Reviewer: Valentin F.Goranko (Johannesburg) MSC: 03-02 03-01 03B70 03G10 68Q70 08A70 03D05 06B23 03B45 68Q45 91A99 PDFBibTeX XMLCite \textit{A. Arnold} and \textit{D. Niwiński}, Rudiments of \(\mu\)-calculus. Amsterdam: Elsevier (2001; Zbl 0968.03002)