6 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
Leszek Kołodziejczyk, Henryk Michalewski, Cécilia Pradic +1
We study the strength of axioms needed to prove various results related to automata on infinite words and Büchi's theorem on the decidability of the MSO theory of (N,≤). We…