Login / Signup

Two-variable logic on data words.

Mikolaj BojanczykClaire DavidAnca MuschollThomas SchwentickLuc Segoufin
Published in: ACM Trans. Comput. Log. (2011)
Keyphrases