Práce na stejné téma (mají shodná klíčová slova):
lambda calculusKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma