Author of the publication

Degrees of Lookahead in Regular Infinite Games.

, , and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 252-266. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Languages versus ω-Languages in Regular Infinite Games., , and . Int. J. Found. Comput. Sci., 23 (5): 985-1000 (2012)Security solutions for future communication networks - Celtic-Plus project SASER, , , , and . EURESCOM-mess@ge 3-2013, Cover Theme "Cybersecurity" p.10-11, Dez. 2013, (December 2013)Die Logiken von Boole und Büchi-Elgot-Trakhtenbrot in der Beschreibung diskreter Systeme.. Angewandte Mathematik, insbesondere Informatik, Vieweg+Teubner Verlag / Springer, (1999)Finite Automata and the Analysis of Infinite Transition Systems.. Modern Applications of Automata Theory, volume 2 of IISc Research Monographs Series, World Scientific, (2012)Solving Infinite Games in the Baire Space., and . Fundam. Informaticae, 186 (1-4): 63-88 (2022)Degrees of Lookahead in Regular Infinite Games., , and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 252-266. Springer, (2010)Solving Infinite Games in the Baire Space., and . CoRR, (2021)Facets of Synthesis: Revisiting Church's Problem.. FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 1-14. Springer, (2009)Einführung in die mathematische Logik, , and . Springer-Verlag, Berlin, Heidelberg, (2007)On the Boolean Closure of Deterministic Top-Down Tree Automata., and . Int. J. Found. Comput. Sci., 35 (1&2): 11-22 (January 2024)