Theses on a related topic (having the same keywords):
k, agda, formal semantics, formalna semantika, operacna semantika, prepisovacia logika, kagda, teoria typov, type theory, dependent type systems, typove systemy so zavislymi typmi, operational semantics, rewriting logicKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Adámková, Markéta
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Legal Questions of Land Register
Bachelor's thesis defence: Právní režim změn druhů pozemků | Theses on a related topic
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Legal Questions of Land Register
Bachelor's thesis defence: Právní režim změn druhů pozemků | Theses on a related topic
2.
Blaha, Dalibor
Faculty: Faculty of Law
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Odpovědnost ČR za následky porušení práva ES
Faculty: Faculty of Law
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Odpovědnost ČR za následky porušení práva ES
3.
Coufalík, Marek
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Homotopická teorie typů | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Homotopická teorie typů | Theses on a related topic
4.
Cvetkova, Zornica Cvetanova
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Paleoslavic and Slavic Languages
Doctoral thesis defence: Sémantika slovesného vidu v bulharštině a češtině z pohledu formální sémantiky | Theses on a related topic
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Paleoslavic and Slavic Languages
Doctoral thesis defence: Sémantika slovesného vidu v bulharštině a češtině z pohledu formální sémantiky | Theses on a related topic
5.
Dočekal, Mojmír
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: PhDr.
Programme/field: Philology / Czech Language and Literature
Advanced Master's thesis defence: Vázané proměnné v češtině (teze disertační práce) | Theses on a related topic
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: PhDr.
Programme/field: Philology / Czech Language and Literature
Advanced Master's thesis defence: Vázané proměnné v češtině (teze disertační práce) | Theses on a related topic
6.
Fredy, Lada
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Novodobé otroctví v kontextu České republiky | Theses on a related topic
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Novodobé otroctví v kontextu České republiky | Theses on a related topic
7.
Grünwaldová, Petra
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / General Linguistics
Bachelor's thesis defence: Rasmus Rask - život a dílo | Theses on a related topic
Bachelor's thesis defence: Vybrané přístupy k presupozicím | Theses on a related topic
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / General Linguistics
Bachelor's thesis defence: Rasmus Rask - život a dílo | Theses on a related topic
Bachelor's thesis defence: Vybrané přístupy k presupozicím | Theses on a related topic
8.
Homola, Lukáš
Faculty: Faculty of Medicine
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Pediatrie (4-years) / Paediatrics
Doctoral thesis defence: Substituce vitaminů u cystické fibrózy | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Pediatrie (4-years) / Paediatrics
Doctoral thesis defence: Substituce vitaminů u cystické fibrózy | Theses on a related topic
9.
Horovská, Rhiana
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: General Linguistics / General Linguistics
Bachelor's thesis defence: Distributive operators quantifying over objecst: an experiment | Theses on a related topic
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: General Linguistics / General Linguistics
Bachelor's thesis defence: Distributive operators quantifying over objecst: an experiment | Theses on a related topic
10.
Hromada, Vladimír
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Java aplet pro zobrazení a simulaci SLR(k) analyzátorů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Java aplet pro zobrazení a simulaci SLR(k) analyzátorů | Theses on a related topic
11.
Jelínek, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Type theory and its semantics | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Type theory and its semantics | Theses on a related topic
12.
Kadlecaj, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic
13.
Krupička, Adam
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Coinductive Formalization of SECD Machine in Agda | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Coinductive Formalization of SECD Machine in Agda | Theses on a related topic
14.
Michálek, Marek
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Philosophy / English Language and Literature, Philosophy
Bachelor's thesis defence: Intuicionistic Type Theory and its Application to Natural Language | Theses on a related topic
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Philosophy / English Language and Literature, Philosophy
Bachelor's thesis defence: Intuicionistic Type Theory and its Application to Natural Language | Theses on a related topic
15.
Míšek, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Strategie a ohodnocovací funkce hry Connect6 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Strategie a ohodnocovací funkce hry Connect6 | Theses on a related topic
16.
Pavlík, David
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Local Type Argument Synthesis for Erlang | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Local Type Argument Synthesis for Erlang | Theses on a related topic
17.
Schneider, Jiří
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Gamaspektrometricke vyhodnocení průzkumných vrtů na uranové zrudnění | Theses on a related topic
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Gamaspektrometricke vyhodnocení průzkumných vrtů na uranové zrudnění | Theses on a related topic
18.
Schneider, Jiří
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Geology / Geology
Master's thesis defence: Gamaspektrometrická charakteristika alkalicko-živcového syenitu u Naloučan. | Theses on a related topic
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Geology / Geology
Master's thesis defence: Gamaspektrometrická charakteristika alkalicko-živcového syenitu u Naloučan. | Theses on a related topic
19.
Strachoňová, Hana
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language and Literature, Spanish Language and Literature
Master's thesis defence: Negativní shoda v současné češtině | Theses on a related topic
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language and Literature, Spanish Language and Literature
Master's thesis defence: Negativní shoda v současné češtině | Theses on a related topic
20.
Strachoňová, Hana
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature, Upper Secondary School Teacher Training in Spanish Language and Literature
Master's thesis defence: Negativní shoda v současné češtině | Theses on a related topic
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature, Upper Secondary School Teacher Training in Spanish Language and Literature
Master's thesis defence: Negativní shoda v současné češtině | Theses on a related topic
21.
Strachoňová, Hana
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / General Linguistics
Doctoral thesis defence: Česká free choice indefinita | Theses on a related topic
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / General Linguistics
Doctoral thesis defence: Česká free choice indefinita | Theses on a related topic
22.
Šírová, Lenka
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Typické výslovnostní chyby českých rodilých mluvčí a metody jejich odstraňování | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Typické výslovnostní chyby českých rodilých mluvčí a metody jejich odstraňování | Theses on a related topic
23.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: An Executable Formal Semantics of C++ | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: An Executable Formal Semantics of C++ | Theses on a related topic