Mgr. Michal Ajdarów
Institut teoretické informatiky
| e‑mail: |
|
|---|
Publikace
Počet publikací: 1
2021
-
Deciding Polynomial Termination Complexity for VASS Programs
32nd International Conference on Concurrency Theory (CONCUR 2021), rok: 2021