3 citations · 3 across the 8 of their papers we have counts for
1 paper · 1 filter
Corentin Barloy, Lorenzo Clemente
We study the universality and inclusion problems for register automata over equality data. We show that the universality and the inclusion problems can be solved with 2-EXPTIME com…