Theses on a related topic (having the same keywords):
permutation graphs, fpt, box graphs, disk graphs, fo interpretation, fo model checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Pokrývka, Filip
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Limits of efficient FO model checking of geometric graphs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Limits of efficient FO model checking of geometric graphs | Theses on a related topic
2.
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
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
3.
Pokrývka, Filip
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Structural and geometric graph theory and algorithmic metatheorems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Structural and geometric graph theory and algorithmic metatheorems | Theses on a related topic