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

permutation graphs, fixed-parameter tractability, thin strip graphs, interval graphs, existential fo model checking, fo interpretation, fo model checking

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Pokrývka, Filip
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: FO properties of geometric graphs | Práce na příbuzné téma Zobrazit popisek

2.
Pham, Tai Phat
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: On k-thin and thin-strip graph classes | Práce na příbuzné téma

3.
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

4.
Agaoglu Cagirici, Deniz roz. Agaoglu
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Isomorphism problem for geometric intersection graphs | Práce na příbuzné téma

5.
Pekárková, Kristýna
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Matroid Algorithms and Their Applications in Optimization | Práce na příbuzné téma