( en | de | ru )

 

Disambiguierung von "Zetzsche, Georg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Context-Bounded Verification of Context-Free Specifications.

, , , , und . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (Januar 2023)

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.

Günther Zetzsche

Günther Zetzsche

Günther Zetzsche

Sybille Zetzsche

Claus Zetzsche

 

Weitere Publikationen von Autoren mit dem selben Namen

PTL-separability and closures for WQOs on words.. CoRR, (2018)The Complexity of Downward Closure Comparisons.. ICALP, Volume 55 von LIPIcs, Seite 123:1-123:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Separability by piecewise testable languages and downward closures beyond subwords.. LICS, Seite 929-938. ACM, (2018)Context-Bounded Verification of Context-Free Specifications., , , , und . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (Januar 2023)The complexity of bidirected reachability in valence systems., , und . CoRR, (2021)Rational Subsets of Baumslag-Solitar Groups., , und . ICALP, Volume 168 von LIPIcs, Seite 116:1-116:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)The Complexity of Bidirected Reachability in Valence Systems., , und . LICS, Seite 26:1-26:15. ACM, (2022)General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond., , und . TACAS (1), Volume 12651 von Lecture Notes in Computer Science, Seite 449-467. Springer, (2021)Computing downward closures for stacked counter automata.. CoRR, (2014)Regular Separability and Intersection Emptiness Are Independent Problems., und . FSTTCS, Volume 150 von LIPIcs, Seite 51:1-51:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)