Registered user since Wed 13 Jan 2021
Name: Štěpán Starosta
Country: Czech Republic
Affiliation: Faculty of Information Technology, Czech Technical University in Prague
Personal website: https://users.fit.cvut.cz/~staroste/
Research interests: Combinatorics on Words, Dynamical Systems, Formalization of Mathematics
Contributions
CPP 2021 | Formalization of Combinatorics on Words in Isabelle/HOL | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile