Martin Raška

Power Operator for Lists

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

Binary codes that do not preserve primitivity

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

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