( en | de | ru )

 

Disambiguierung von "Semukhin, Pavel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decidability of the Membership Problem for 2 × 2 integer matrices.

, und . SODA, Seite 170-186. SIAM, (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.

Dietrich Pavel

Wieland Werther Pavel

Ji Pavelka

Luciana Pavel

Jonas Philipp Pavelka

 

Weitere Publikationen von Autoren mit dem selben Namen

Decidability of the Membership Problem for 2×2 integer matrices., und . CoRR, (2016)P01-Presentations of Algebras., , und . Arch. Math. Log., 45 (6): 769-781 (2006)Applications of Kolmogorov complexity to computable model theory., , und . J. Symb. Log., 72 (3): 1041-1054 (2007)Membership Problem in GL(2, Z) Extended by Singular Matrices., und . MFCS, Volume 83 von LIPIcs, Seite 44:1-44:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Decidability of the Membership Problem for 2 × 2 integer matrices., und . SODA, Seite 170-186. SIAM, (2017)Automatic Learning of Subclasses of Pattern Languages., , , , , und . LATA, Volume 6638 von Lecture Notes in Computer Science, Seite 192-203. Springer, (2011)Linear Orders Realized by C.E. Equivalence Relations., , , und . J. Symb. Log., 81 (2): 463-482 (2016)Prime models of finite computable dimension.. J. Symb. Log., 74 (1): 336-348 (2009)On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond., , und . MFCS, Volume 138 von LIPIcs, Seite 83:1-83:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Decision Questions for Probabilistic Automata on Small Alphabets., und . MFCS, Volume 202 von LIPIcs, Seite 15:1-15:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)