Jump to Content

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