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
Learn more about how we conduct our research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work.
Our research philosophy