47 citations · 159 across the 27 of their papers we have counts for
1 paper · 2 filters
Mikolaj Bojanczyk, Luc Segoufin
We study tree languages that can be defined in Δ_2 . These are tree languages definable by a first-order formula whose quantifier prefix is forall exists, and simultaneously by a f…