( en | de | ru )

 

Disambiguierung von "Zetzsche, Georg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rational subsets and submonoids of wreath products.

, , und . Inf. Comput., (2015)

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

Sybille Zetzsche

Günther Zetzsche

Günther Zetzsche

Rolf 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)Context-Bounded Verification of Context-Free Specifications., , , , und . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (Januar 2023)Separability by piecewise testable languages and downward closures beyond subwords.. LICS, Seite 929-938. ACM, (2018)The complexity of bidirected reachability in valence systems., , und . CoRR, (2021)The Complexity of Bidirected Reachability in Valence Systems., , und . LICS, Seite 26:1-26:15. ACM, (2022)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)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)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)Language Classes Defined by Concurrent Finite Automata., , und . Fundam. Informaticae, 85 (1-4): 267-280 (2008)