( en | de | ru )

 

Disambiguierung von "Chistikov, Dmitry"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Complexity of Quantified Integer Programming.

, und . ICALP, Volume 80 von LIPIcs, Seite 94:1-94:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

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.

Dmitry Sveshnikov

Dmitry Shvedov

Dmitry Chigrin

Dmitry Lobaskin

Dmitry Ivanov

 

Weitere Publikationen von Autoren mit dem selben Namen

Notes on Counting with Finite Machines.. FSTTCS, Volume 29 von LIPIcs, Seite 339-350. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Convergence of Opinion Diffusion is PSPACE-complete., , , und . CoRR, (2019)Invariants for One-Counter Automata with Disequality Tests., , , und . CONCUR, Volume 311 von LIPIcs, Seite 17:1-17:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Nonnegative Matrix Factorization Requires Irrationality., , , , und . SIAM J. Appl. Algebra Geom., 1 (1): 285-307 (2017)Asymmetric Distances for Approximate Differential Privacy., , und . CONCUR, Volume 140 von LIPIcs, Seite 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Higher-Order Quantified Boolean Satisfiability., , , und . MFCS, Volume 241 von LIPIcs, Seite 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Re-pairing brackets., und . CoRR, (2019)Quantifier elimination for counting extensions of Presburger arithmetic., , und . FoSSaCS, Volume 13242 von Lecture Notes in Computer Science, Seite 225-243. Springer, (2022)Re-pairing brackets., und . LICS, Seite 312-326. ACM, (2020)Unary Pushdown Automata and Straight-Line Programs., und . ICALP (2), Volume 8573 von Lecture Notes in Computer Science, Seite 146-157. Springer, (2014)