Complexity of Two-Variable Logic on Finite Trees
Authors: Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieroński, Rastislav Lenhardt, Filip Mazowiecki, and James Worrell.
Published in: ACM Transactions on Computational Logic(), Wydawca:ACM
Publication type: article
Subject areas: Computer Science; Mathematics
SJR best quartile: Q2