%0
Generic
%T
The Logical Strength of Büchi's Decidability Theorem
%A Kolodziejczyk, Leszek Aleksander
%A Michalewski, Henryk
%A Pradic, Pierre
%A Skrzypczak, Michal
%A Leszek Aleksander Kolodziejczyk and Henryk Michalewski and Pierre Pradic and Michal Skrzypczak
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K monadic second-order logic
%K nondeterministic automata
%K reverse mathematics
%K Büchi's theorem
%K additive Ramsey's theorem
%D 2016
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik