( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Skolem Problem and the Skolem Conjecture.

, , , , , и . LICS, стр. 5:1-5:9. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Joël Ouaknine

Georg Joël

Hans Joël

Ernst Joël

Karl Guenter Joël

 

Другие публикации лиц с тем же именем

Porous Invariants., , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 172-194. Springer, (2021)On the Monniaux Problem in Abstract Interpretation., , , , , и . SAS, том 11822 из Lecture Notes in Computer Science, стр. 162-180. Springer, (2019)Positivity Problems for Reversible Linear Recurrence Sequences., , , и . ICALP, том 261 из LIPIcs, стр. 130:1-130:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)The 2-Dimensional Constraint Loop Problem Is Decidable., , , и . ICALP, том 297 из LIPIcs, стр. 140:1-140:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)On Reachability Problems for Low-Dimensional Matrix Semigroups., , , и . ICALP, том 132 из LIPIcs, стр. 44:1-44:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Reachability in Dynamical Systems with Rounding., , , , , , , , и . FSTTCS, том 182 из LIPIcs, стр. 36:1-36:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Inaproximability in Weighted Timed Games., и . CONCUR, том 311 из LIPIcs, стр. 27:1-27:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)On the Expressiveness and Monitoring of Metric Temporal Logic., , и . Logical Methods in Computer Science, (2019)The Semialgebraic Orbit Problem., , и . STACS, том 126 из LIPIcs, стр. 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Universal Skolem Sets., , и . LICS, стр. 1-6. IEEE, (2021)