2.1k citations · 3.9k across the 42 of their papers we have counts for
1 paper · 2 filters
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…