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 |
POPL 2021-profile
View general profile
View general profile