Theses on the same topic (having an identical keyword):
quotientingKeywords ordered alphabetically | Keywords ordered by occurrence rate
Redukcie TGBA pomocou pokročilých simulácií
(Tatiana Zbončáková)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mfeaf/ | Aplikovaná informatika / | Theses on a related topic
Simulation-Based Reduction of Modal Omega-Automata
(Dávid Smolka)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qq7ad/ | Informatika / | Theses on a related topic
Reduction of Omega-Automata Using k-Lookahead Simulations
(Miriama Sasaráková)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z3yok/ | Informatika / Počítačové systémy a zpracování dat | Theses on a related topic