Two-variable logic on data words

Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin. Two-variable logic on data words. ACM Trans. Comput. Log., 12(4):27, 2011. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: