Theses on the same topic (having an identical keyword):
formal-semanticsKeywords ordered alphabetically | Keywords ordered by occurrence rate
An Executable Formal Semantics of C++
(Jan Tušil)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/webh9/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
An Executable Formal Semantics of Agda
(Andrej Tokarčík)2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ssggj/ | Informatika / Teoretická informatika | Theses on a related topic
Sémantika slovesného vidu v bulharštině a češtině z pohledu formální sémantiky
(Zornica Cvetanova Cvetkova)2017, Disertační práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/be7bc/ | Filologie (čtyřleté) / Paleoslovenistika a slovanské jazyky | Theses on a related topic
Interpretace specifických indefinit, experimentální studie
(Lucie Odehnalová)2016, Diplomová práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/bbgzh/ | Filologie / Obecná jazykověda | Theses on a related topic