10 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Loris D'Antoni
In data languages the positions of strings and trees carry a label from a finite alphabet and a data value from an infinite alphabet. Extensions of automata and logics over finite…