Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees

Saguy Benaim
Michael Benedikt
James Worrell
CoRR, abs/1304.6925(2013)

Abstract

Research Areas