Complexity of Two-Variable Logic on Finite Trees

Saguy Benaim
Michael Benedikt
Witold Charatonik
Emanuel Kieronski
Filip Mazowiecki
James Worrell
ICALP (2)(2013), pp. 74-88

Abstract

Research Areas