conf.researchr.org / Toghrul Karimov
Not registered as user yet
Name:Toghrul Karimov
Country:Germany
Affiliation:MPI-SWS
Contributions
POPL 2022 | Author of What’s Decidable about Linear Loops? within the POPL-track |
POPL 2021 | Author of Deciding ω-Regular Properties on Linear Recurrence Sequences within the POPL-track |