Akademický pracovník na Matematicko-fyzikální fakulta, Katolická teologická fakulta
Studijní program
Předměty
- Formalizační seminářNMAG585 | Matematicko-fyzikální fakulta
- Filozofická etikaKFIL050 | Katolická teologická fakulta
- Kombinatorika na slovechNMAG444 | Matematicko-fyzikální fakulta
- Referativní seminář k bakalářské práciNMAT362 | Matematicko-fyzikální fakulta
- Teorie informaceNMMB210 | Matematicko-fyzikální fakulta
- Automaty a konvoluční kódyNMMB401 | Matematicko-fyzikální fakulta
- Kvantová informaceNMMB534 | Matematicko-fyzikální fakulta
Publikace
- Binary Codes that do not Preserve Primitivity2023 | Matematicko-fyzikální fakulta
- Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time2023 | Matematicko-fyzikální fakulta
- Intersection of two monoids generated by two element codes2023 | Matematicko-fyzikální fakulta
- Binary codes that do not preserve primitivity2023 | Matematicko-fyzikální fakulta
- The intersection of 3-maximal submonoids2022 | Matematicko-fyzikální fakulta
- Maximal state complexity and generalized de Bruijn words2022 | Matematicko-fyzikální fakulta
- Binary Codes that Do Not Preserve Primitivity2022 | Matematicko-fyzikální fakulta
- Lyndon Words Formalized in Isabelle/HOL2021 | Matematicko-fyzikální fakulta
- Binary intersection formalized2021 | Matematicko-fyzikální fakulta
- Formalization of Basic Combinatorics on Words2021 | Matematicko-fyzikální fakulta
Loading network view...