41 citations · 101 across the 5 of their papers we have counts for
1 paper · 1 filter
Florian Frank, Stefan Milius, Henning Urbat
Positive data languages are languages over an infinite alphabet closed under possibly non-injective renamings of data values. Informally, they model properties of data words expres…