Zpět na vyhledávání

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

monadic second-order logic

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

Seznam prací, které mají shodná klíčová slova.

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