Title: Complexity of Two-Variable Logic on Finite Trees
Authors: Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Journal: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013(), Wydawca:Springer
Publication type: conference
DOI: 10.1007/978-3-642-39212-2_10