Práce na stejné téma (mají shodná klíčová slova):
monadic second-order logicKlíčová slova abecedně | Klíčová slova dle četnosti
Monadická logika druhého řádu na nekonečných řetězcích a stromech
(Jan Křetínský)2007, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/y4l9q/ | Matematika / Obecná matematika | Práce na příbuzné téma
Algorithmic Meta-theorems for Restricted Classes of Graphs
(Jakub Gajarský)2016, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hgsbj/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Popis regulárních jazyků pomocí predikátové logiky
(Martin Jonáš)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kfobw/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Efficient solvability of graph MSO properties
(Jakub Gajarský)2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/w6sin/ | Informatika / Teoretická informatika | Práce na příbuzné téma