Mgr. Filip Pokrývka | Masaryk University

Mgr. Filip Pokrývka

e‑mail:

Basic information

Type

Total number of publications: 2

2019

FO model checking of geometric graphs

HLINĚNÝ Petr POKRÝVKA Filip ROY Bodhayan

Article in Periodical

Computational geometry, year: 2019, volume: 78, edition: 1, DOI

2018

FO model checking of geometric graphs

HLINĚNÝ Petr POKRÝVKA Filip ROY Bodhayan

Article in Proceedings

12th International Symposium on Parameterized and Exact Computation (IPEC 2017), year: 2018