( en | de | ru )

 

Disambiguierung von "Walukiewicz, Igor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable.

, , , und . LICS, Seite 96-105. ACM, (2016)

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.

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Yakushev

Igor Pilawski

Igor Barsukov

Igor Pribicevic

 

Weitere Publikationen von Autoren mit dem selben Namen

Local Logics for Traces.. Journal of Automata, Languages and Combinatorics, 7 (2): 259-290 (2002)Unsafe Grammars and Panic Automata., , , und . ICALP, Volume 3580 von Lecture Notes in Computer Science, Seite 1450-1461. Springer, (2005)Krivine Machines and Higher-Order Schemes., und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 162-173. Springer, (2011)Relating Hierarchies of Word and Tree Automata., und . STACS, Volume 1373 von Lecture Notes in Computer Science, Seite 320-331. Springer, (1998)Third-Order Idealized Algol with Iteration Is Decidable., und . FoSSaCS, Volume 3441 von Lecture Notes in Computer Science, Seite 202-218. Springer, (2005)Automata and Games for Synthesis.. AMAST, Volume 2422 von Lecture Notes in Computer Science, Seite 15-20. Springer, (2002)Automata theory and higher-order model-checking.. ACM SIGLOG News, 3 (4): 13-31 (2016)Abstraction-based control synthesis using partial information., , , , und . Eur. J. Control, (2022)Verifying higher-order concurrency with data automata., , , und . LICS, Seite 1-13. IEEE, (2021)Efficient emptiness check for timed Büchi automata., , und . Formal Methods Syst. Des., 40 (2): 122-146 (2012)