Theses on a related topic (having the same keywords):

formalni jazyky, predikatova logika, ehrenfeucht-fraisse, locally treshold testable languages, regularni jazyky, monadicka logika druheho radu, lokalne prahove testovatelne jazyky, monadic second order logic, star-free

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Balážik, Štěpán
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Informatics with another discipline, Mathematics with a view to Education
Bachelor's thesis defence: Interaktivní webová aplikace pro výuku formálního jazyka matematiky | Theses on a related topic Display description

2.
Březina, Jindřich
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vizualizace teorií systémů ILP | Theses on a related topic

3.
Komárková, Zuzana
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Biautomaty | Theses on a related topic

4.
Marek, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Nástroj pro interaktivní konstrukci tablových důkazů | Theses on a related topic
Master's thesis defence: Nástroj pro interaktivní konstrukci tablových důkazů | Theses on a related topic

5.
Sedláček, Jan
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Information Systems
Master's thesis defence: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Theses on a related topic
Master's thesis defence: Nástroj pro interaktivní konstrukci a analýzu rezolučních důkazů | Theses on a related topic

6.
Sloupová, Kateřina
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Reimplementace a konsolidace systémů podporujících výuku formálních jazyků | Theses on a related topic

7.
Slunský, Petr
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences / Theory of Law
Doctoral thesis defence: Obecná a teoretická hlediska tvorby soudního rozhodnutí | Theses on a related topic

8.
Štefaník, Štěpán
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Uživatelské rozhraní pro manipulaci s bezkontextovými gramatikami | Theses on a related topic
Bachelor's thesis defence: Systém pro správu uživatelských požadavků | Theses on a related topic

9.
Uhlíř, Jiří
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Generátor příkladů k teorii formálních jazyků | Theses on a related topic

10.
Volaříková, Jana maiden name: Bartoňová
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Straubingova-Thérienova hierarchie jazyků | Theses on a related topic