ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Metrics"
Metrics
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
doc. Mgr. Štěpán Holub Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta, Katolická teologická fakulta
1 studijní program
7 předmětů
56 publikací
Studijní program
programme
Obecná matematika
🇨🇿 Bc. |
Matematicko-fyzikální fakulta
Předměty
class
Filozofická etika
KFIL050 |
Katolická teologická fakulta
class
Kombinatorika na slovech
NMAG444 |
Matematicko-fyzikální fakulta
class
Formalizační seminář
NMAG585 |
Matematicko-fyzikální fakulta
class
Referativní seminář k bakalářské práci
NMAT362 |
Matematicko-fyzikální fakulta
class
Teorie informace
NMMB210 |
Matematicko-fyzikální fakulta
class
Automaty a konvoluční kódy
NMMB401 |
Matematicko-fyzikální fakulta
class
Kvantová informace
NMMB534 |
Matematicko-fyzikální fakulta
Publikace
publication
Binary Codes that do not Preserve Primitivity
2023 |
Matematicko-fyzikální fakulta
publication
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time
2023 |
Matematicko-fyzikální fakulta
publication
Intersection of two monoids generated by two element codes
2023 |
Matematicko-fyzikální fakulta
publication
Binary codes that do not preserve primitivity
2023 |
Matematicko-fyzikální fakulta
publication
The intersection of 3-maximal submonoids
2022 |
Matematicko-fyzikální fakulta
publication
Maximal state complexity and generalized de Bruijn words
2022 |
Matematicko-fyzikální fakulta
publication
Binary Codes that Do Not Preserve Primitivity
2022 |
Matematicko-fyzikální fakulta
publication
Lyndon Words Formalized in Isabelle/HOL
2021 |
Matematicko-fyzikální fakulta
publication
Binary intersection formalized
2021 |
Matematicko-fyzikální fakulta
publication
Formalization of Basic Combinatorics on Words
2021 |
Matematicko-fyzikální fakulta
Načíst další publikace (46)
Loading network view...