Jump to Content

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

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

Abstract

Research Areas