Štěpán Starosta

Power Operator for Lists

by Štěpán Holub, Martin Raška, Štěpán Starosta and Tobias Nipkow

Intersection of two monoids generated by two element codes

by Štěpán Holub and Štěpán Starosta

Lyndon words

by Štěpán Holub and Štěpán Starosta

Graph Lemma

by Štěpán Holub, Martin Raška and Štěpán Starosta

Combinatorics on Words Basics

by Štěpán Holub, Martin Raška and Štěpán Starosta