Set Automata and Limits of Decidability of Two-Variable Logic on Data Words.

Shibashis Guha, Amaldev Manuel, S. P. Rishal

Browse the full ICALP paper archive.