8 citations · 13 across the 18 of their papers we have counts for
1 paper · 2 filters
Radu Iosif, Xiao Xu
We introduce first order alternating automata, a generalization of boolean alternating automata, in which transition rules are described by multisorted first order formulae, with s…