39 citations · 127 across the 31 of their papers we have counts for
1 paper · 1 filter
Diego Figueira
We study alternating register automata on data words and data trees in relation to logics. A data word (resp. data tree) is a word (resp. tree) whose every position carries a label…