Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity., , und . ICALP, Volume 226 von Lecture Notes in Computer Science, Seite 275-283. Springer, (1986)Some Quantitative Aspects of Fractional Computability, und . CoRR, (2007)Arrays, Automata and Groups: Some Interconnections.. Automata Networks, Volume 316 von Lecture Notes in Computer Science, Seite 19-28. Springer, (1986)Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time, , und . LICS, Seite 422-427. IEEE Computer Society, (1988)Generic properties of Whitehead's Algorithm, stabilizers in Aut(Fk) and one-relator groups, , und . CoRR, (2003)Asymptotic density and computably Enumerable Sets., , und . J. Math. Log., 13 (2): 1350005 (2013)Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems, und . STOC, Seite 46-54. ACM, (1981)Alternating automata on infinite objects, determinacy and Rabin's theorem., und . Automata on Infinite Words, Volume 192 von Lecture Notes in Computer Science, Seite 100-107. Springer, (1984)On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory., , und . ICCI, Seite 2-5. IEEE Computer Society, (1992)Asymptotic Density and the Theory of Computability: A Partial Survey., und . Computability and Complexity, Volume 10010 von Lecture Notes in Computer Science, Seite 501-520. Springer, (2017)