Theses on the same topic (having an identical keyword):

rozhodnutelnost

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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 / | Theses on a related topic

List of theses with an identical keyword.

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 / | Theses on a related topic

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 / | Theses on a related topic

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 / | Theses on a related topic

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 | Theses on a related topic

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 / | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic