Publications

Articles

FIEDLER, Adam. Deduction in Matching Logic. Brno, 2022. Available from: https://theses.cz/id/ipjchh/. Master's thesis. Masaryk University, Faculty of Informatics. Thesis supervisor doc. Mgr. Jan Obdržálek, PhD. [pdf]
FIEDLER, Adam. Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata. Brno, 2019. Available from: https://theses.cz/id/kl2752/. Bachelor's thesis. Masaryk University, Faculty of Informatics. Thesis supervisor doc. RNDr. Jan Strejček, Ph.D. [pdf]