Štěpán Holub

0000-0002-6169-5139

Homepages 🌐

• https://www2.karlin.mff.cuni.cz/~holub/

E-Mails 📧

• zc.inuc.ffm.nilrak@buloh

Entries

2026

Axiomatic theory of hereditarily finite sets and its fragments

by Štěpán Holub and Zuzana Haniková

Jul 03

2025

Power Operator for Lists

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

Jan 29

2023

Intersection of two monoids generated by two element codes

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

Jan 03

Binary codes that do not preserve primitivity

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

Jan 03

2021

Lyndon words

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

May 24

Graph Lemma

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

May 24

Combinatorics on Words Basics

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

May 24