Práce na stejné téma (mají shodná klíčová slova):

formal semantics

Klíčová slova abecedně | Klíčová slova dle četnosti

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 | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

Negation in English - the means and semantics with special focus on the use of "a", "any" and zero article
 (Tereza KARLOVCOVÁ)

2019, Bakalářská práce, Fakulta pedagogická / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//37jsol// | Specializace v pedagogice / Anglický jazyk se zaměřením na vzdělávání | Práce na příbuzné téma

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 | Práce na příbuzné téma

Terminología de fútbol
 (Katarína Blaškovičová)

2014, Diplomová práce, Filozofická fakulta / Masarykova univerzita

• https://is.muni.cz/th/vfnut/ | Filologie / Španělský jazyk a literatura | Práce na příbuzné téma