Práce na stejné téma (mají shodná klíčová slova):
rozhodnutelnostKlíčová slova abecedně | Klíčová slova dle četnosti
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
Basic Model Checking Problems for Stochastic Games
(Václav Brožek)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z54av/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
On Extensions of Process Rewrite Systems
(Vojtěch Řehák)2007, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nsah0/ | Informatika / | Práce na příbuzné téma
On Extensions of Process Rewrite Systems
(Vojtěch Řehák)2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ql3fb/ | Informatika / | Práce na příbuzné téma
Formal Verification of Finite-State Stochastic Systems
(Vojtěch Forejt)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/csgy6/ | Informatika / | Práce na příbuzné téma
Basic model-checking problems for stochastic games
(Václav Brožek)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gg6sx/ | Informatika / | 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
Návrh algoritmu pro rozhodování vybraných podtříd predikátové logiky 1. řádu
(Daniel Šudřich)2016, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/119225 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Rozhodnutelné podtřídy formulí predikátového počtu 1. řádu
(Radim Vašíček)2012, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/92935 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma