Publication Types:

Aplimat conference

A note on the problem of prisoners and hats

Conference Paper
Petr Glivický
17th Conference on Applied Mathematics, APLIMAT 2018 - Proceedings, 402-411
Publication year: 2018
Aplimat conference

Shepherdson's theorems for fragments of open induction

Conference Paper
Jana Glivická and Petr Glivický
16th Conference on Applied Mathematics, APLIMAT 2017 - Proceedings, 583-589
Publication year: 2017