TY  - RPRT
TI  - The logical strength of Büchi's decidability theorem
AU  - Leszek Kołodziejczyk
AU  - Henryk Michalewski
AU  - Cécilia Pradic
AU  - Michał Skrzypczak
PY  - 2019
DO  - 10.23638/lmcs-15(2:16)2019
UR  - https://arxiv.org/abs/1608.07514
ID  - 1608.07514
ER  -