Práce na stejné téma (mají shodná klíčová slova):
TELAKlíčová slova abecedně | Klíčová slova dle četnosti
QBF-Based Simplification of Acceptance Condition of Emerson-Lei Automata
(Tereza Schwarzová)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/khyn2/ | Aplikovaná informatika / | Práce na příbuzné téma
QBF-Based Simplification of Acceptance Condition of Emerson-Lei Automata
(Tereza Schwarzová)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/khyn2/ | Aplikovaná informatika / | Práce na příbuzné téma
QBF-Based Simplification of Acceptance Condition of Emerson-Lei Automata
(Tereza Schwarzová)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/khyn2/ | Aplikovaná informatika / | Práce na příbuzné téma