Future-Looking Logics on Data Words and Trees.

Diego Figueira, Luc Segoufin

Browse the full MFCS paper archive.