Práce na příbuzné téma (mají shodná klíčová slova):
permutation graphs, fpt, box graphs, disk graphs, fo interpretation, fo model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Pokrývka, Filip
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Limits of efficient FO model checking of geometric graphs | Práce na příbuzné téma![Zobrazit popisek Zobrazit popisek](/pics/design/14/z/ico/navodek-plus.png)
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Limits of efficient FO model checking of geometric graphs | Práce na příbuzné téma
![Zobrazit popisek Zobrazit popisek](/pics/design/14/z/ico/navodek-plus.png)
2.
Pokrývka, Filip
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Structural and Geometric Graph Theory and Algorithmic Metatheorems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Structural and Geometric Graph Theory and Algorithmic Metatheorems | Práce na příbuzné téma
3.
Pokrývka, Filip
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Structural and geometric graph theory and algorithmic metatheorems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Structural and geometric graph theory and algorithmic metatheorems | Práce na příbuzné téma