Theses on the same topic (having an identical keyword):
modal transition systemsKeywords ordered alphabetically | Keywords ordered by occurrence rate
Disjunctive Modal Transition Systems
(Nikola Beneš)2012, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/eo45z/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Modal Transition Systems: Extensions and Analysis
(Jan Křetínský)2014, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/sf806/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Deduction in Matching Logic
(Adam Fiedler)2022, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mcbtk/ | Teoretická informatika / Principy programovacích jazyků | Theses on a related topic
The Logic of Edgar Allan Poe's Short Stories
(Kateřina Mazlová)2024, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/tqda4/ | Anglický jazyk a literatura / | Theses on a related topic
Online editor and simulator of logic circuits
(Tomáš Lacko)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v9m1e/ | Aplikovaná informatika / | Theses on a related topic
Logic Puzzle Game Prototype with Semi-Automated Level Design
(Jakub Smatana)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dgxfz/ | Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence | Theses on a related topic
Algebraic models for quantum logic
(Kadir Emir)2024, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/fx3zx/ | Matematika a statistika / Algebra, teorie čísel a matematická logika | Theses on a related topic
Translation of Linear Temporal Logic to Omega-Automata
(Tomáš Babiak)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Linear Temporal Logic and omega-automata
(František Blahoudek)2015, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vvxpf/ | Informatika / | Theses on a related topic
Investigations into Transparent Intensional Logic: A Rule-based Approach
(Ivo Pezlar)2016, Disertační práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/hhhga/ | Filozofie (čtyřleté) / Filozofie | Theses on a related topic