Práce na stejné téma (mají shodná klíčová slova):
decidabilityKlíčová slova abecedně | Klíčová slova dle četnosti
Decidability and complexity of finite-state stochastic games
(Vojtěch Forejt)2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ottrb/ | Informatika / | Práce na příbuzné téma
Decidability and complexity of infinite-state stochastic games
(Václav Brožek)2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jsiqw/ | Informatika / | Práce na příbuzné téma
Verification of Probabilistic Recursive Sequential Programs
(Tomáš Brázdil)2007, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pxz9s/ | 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
Verification of Probabilistic Recursive Sequential Programs
(Tomáš Brázdil)2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/olmmy/ | Informatika / | Práce na příbuzné téma
Temporal attribute implications
(Jan TŘÍSKA)2018, Disertační práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//5x5ue2// | Informatika / | Práce na příbuzné téma
Reduction and Abstraction Techniques for Model Checking
(Radek Pelánek)2006, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xrsgd/ | Informatika / | Práce na příbuzné téma
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