Complexity of Two-Variable Logic on Finite Trees
Authors: Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Published in: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013(), Wydawca:Springer
Publication type: conference
Subject areas: Computer Science; Mathematics
SJR best quartile: Q2