Automata vs. Logics on Data Words.

Michael Benedikt, Clemens Ley, Gabriele Puppis

Browse the full CSL paper archive.