Complexity of Two-Variable Logic on Finite Trees.

Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell

Browse the full ICALP paper archive.