Práce na stejné téma (mají shodná klíčová slova):
Büchiho automatKlíčová slova abecedně | Klíčová slova dle četnosti
Algebraický přístup k lineární temporální logice
(Karolína Malá)2013, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/rwhf9/ | Matematika / Algebra a diskrétní matematika | Práce na příbuzné téma
Topologie času a temporální logika
(Jakub Vít)2014, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/f1rh6/ | Filozofie / | Práce na příbuzné téma
Grafická reprezentace specifikačních vzorů pro temporální logiky
(Adam Tuček)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zeq2o/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Knihovna pro výpočet relací simulace na Büchiho automatech
(Daniel Odvárka)2022, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//nyaipb// | Informační technologie / | Práce na příbuzné téma