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

infinite words, finite automata, monadic second--order logic, infinite trees, decidability

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Ajdarów, Michal
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Minimality problems for promise versions of finite automata | Theses on a related topic Display description

2.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Translation of an LTL fragment to deterministic Rabin and Streett automata | Theses on a related topic

3.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

4.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

5.
Frian, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Simple models of quantum finite automata | Theses on a related topic

6.
Gaďorková, Klára
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Reprezentace čísel konečnými automaty | Theses on a related topic

7.
Holík, Lukáš
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Rozhodnutelnost v temporálních logikách | Theses on a related topic

8.
Chodil, Miroslav
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Vlastnosti konečných automatů a jejich přechodových monoidů | Theses on a related topic

9.
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

10.
Pilát, Martin
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Design, Deployment, and Evaluation of Programming Homeworks for the IB110 Course | Theses on a related topic

11.
Salajová, Patrícia
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Web Editor of Finite Automata | Theses on a related topic

12.
Štěpková, Adéla
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Complementation of Nondeterministic Finite Automata Without Determinization | Theses on a related topic