Práce na příbuzné téma (mají shodná klíčová slova):

permutation graphs, fpt, box graphs, disk graphs, fo interpretation, fo model checking

Klíč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

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

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