Complexity of two-variable logic on finite trees

Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieroński, Rastislav Lenhardt, Filip Mazowiecki, James Worrell

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Dive into the research topics of 'Complexity of two-variable logic on finite trees'. Together they form a unique fingerprint.


Engineering & Materials Science