( en | de | ru )

 

Disambiguierung von "Kuperberg, Denis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Trading Bounds for Memory in Games with Counters.

, , , und . ICALP (2), Volume 9135 von Lecture Notes in Computer Science, Seite 197-208. Springer, (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.

Michael Kuperberg

Jaap Denissen

Wladimir Denisow

Natalja Denisjuk

Alexander Arnold Denisiuk

 

Weitere Publikationen von Autoren mit dem selben Namen

ACME: Automata with Counters, Monoids and Equivalence., und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 163-167. Springer, (2014)Kleene Algebra with Hypotheses., , , und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 207-223. Springer, (2019)Deciding the weak definability of Büchi definable tree languages., , , und . CSL, Volume 23 von LIPIcs, Seite 215-230. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Varieties of Cost Functions., , und . STACS, Volume 47 von LIPIcs, Seite 30:1-30:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Computing the Width of Non-deterministic Automata., und . Log. Methods Comput. Sci., (2019)Computing the Width of Non-deterministic Automata., und . CoRR, (2018)Sensing as a Complexity Measure., , und . DCFS, Volume 10316 von Lecture Notes in Computer Science, Seite 3-15. Springer, (2017)Cyclic Proofs for Transfinite Expressions., und . CSL, Volume 216 von LIPIcs, Seite 23:1-23:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Explorable Automata., und . CSL, Volume 252 von LIPIcs, Seite 24:1-24:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata., , , , und . CoRR, (2024)