Práce na stejné téma (mají shodná klíčová slova):
temporalni logikaKlíčová slova abecedně | Klíčová slova dle četnosti
Topologie času a temporální logika
(Jakub Vít)2014, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/f1rh6/ | Filozofie / | Práce na příbuzné téma
Problém splnitelnosti pro pravděpodobnostní temporální logiky
(Miroslav Chodil)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zn1az/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Grafická reprezentace specifikačních vzorů pro temporální logiky
(Adam Tuček)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zeq2o/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Algebraický přístup k lineární temporální logice
(Karolína Malá)2013, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/rwhf9/ | Matematika / Algebra a diskrétní matematika | Práce na příbuzné téma
Pro lidi srozumitelný jazyk temporální logiky
(Lukáš Žilka)2016, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//g2hwo2// | Informační technologie / | Práce na příbuzné téma
Antické a středověké inspirace temporální logiky A. N. Priora
(Zuzana RYBAŘÍKOVÁ)2012, Diplomová práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//rnb7uj// | Humanitní studia / Filozofie - Historie | Práce na příbuzné téma
Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
(Jakub Macek)2017, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/127349 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma
Rozhodnutelnost v temporálních logikách
(Lukáš Holík)2006, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dg07t/ | Informatika / | Práce na příbuzné téma
Grafická reprezentace formulí logiky LTL
(Michal Keda)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fdund/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Symbolic Model Checking of Hybrid CTL
(Ondřej Huvar)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zrf3h/ | Informatika / | Práce na příbuzné téma