24 citations · 63 across the 14 of their papers we have counts for
1 paper · 2 filters
Mikołaj Bojańczyk, Luc Segoufin, Howard Straubing
This paper presents a decidable characterization of tree languages that can be defined by a boolean combination of Sigma_1 sentences. This is a tree extension of the Simon theorem,…