Mgr. Filip Pokrývka
| E‑mail: |
|
|---|
Publications
Total number of publications: 2
2019
-
FO model checking on geometric graphs
Computational geometry, year: 2019, volume: 78, edition: 1, DOI
2018
-
FO model checking of geometric graphs
12th International Symposium on Parameterized and Exact Computation (IPEC 2017), year: 2018