This page shows all presentations of this author published in EasyChair Smart Slide.
Formalization of fragments of the theory of hereditarily finite sets
Zuzana Haniková and Štěpán Holub
Binary Codes That Do Not Preserve Primitivity
Štěpán Holub, Štěpán Starosta and Martin Raška