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

univerzalni algebra, ekvacionalni logika, quasi-order, variety grup, varieties of groups, kvaziusporadani, universal algebra, equational logic

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Jelínek, Vít
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Categorical View of Monads in Computer Science | Theses on a related topic Display description

2.
Novotný, Petr
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Univerzální algebra a CSP | Theses on a related topic

3.
Novotný, Petr
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraické metody pro CSP | Theses on a related topic

4.
Kubíček, Martin
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Unifikační teorie a univerzální algebra | Theses on a related topic

5.
Lédl, Jakub
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Vícedruhová rovnostní logika | Theses on a related topic

6.
Zoubek, Pavel
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Úplnost ekvacionální logiky | Theses on a related topic