Academic staff at Faculty of Mathematics and Physics, Catholic Theological Faculty
Study programme
Classes
- Combinatorics on WordsNMAG444 | Faculty of Mathematics and Physics
- Formalization seminarNMAG585 | Faculty of Mathematics and Physics
- Philosophical EthicsKFIL050 | Catholic Theological Faculty
- Seminar for bachelor thesisNMAT362 | Faculty of Mathematics and Physics
- Information theoryNMMB210 | Faculty of Mathematics and Physics
- Automata and Convolutional CodesNMMB401 | Faculty of Mathematics and Physics
- Quantum InformationNMMB534 | Faculty of Mathematics and Physics
Publications
- Binary Codes that do not Preserve Primitivity2023 | Faculty of Mathematics and Physics
- Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time2023 | Faculty of Mathematics and Physics
- Intersection of two monoids generated by two element codes2023 | Faculty of Mathematics and Physics
- Binary codes that do not preserve primitivity2023 | Faculty of Mathematics and Physics
- Binary Codes that Do Not Preserve Primitivity2022 | Faculty of Mathematics and Physics
- Lyndon Words Formalized in Isabelle/HOL2021 | Faculty of Mathematics and Physics
- Binary intersection formalized2021 | Faculty of Mathematics and Physics
- Formalization of Basic Combinatorics on Words2021 | Faculty of Mathematics and Physics
- Combinatorics on Words Basics2021 | Faculty of Mathematics and Physics
- Lyndon words2021 | Faculty of Mathematics and Physics
Loading network view...