Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Pokrývka, Filip
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: FO properties of geometric graphs | Theses on a related topic Display description

2.
Pham, Tai Phat
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: On k-thin and thin-strip graph classes | Theses on a related topic

3.
Pokrývka, Filip
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Structural and Geometric Graph Theory and Algorithmic Metatheorems | Theses on a related topic

4.
Agaoglu Cagirici, Deniz maiden name: Agaoglu
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Isomorphism problem for geometric intersection graphs | Theses on a related topic

5.
Pekárková, Kristýna
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Matroid Algorithms and Their Applications in Optimization | Theses on a related topic