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

Saguy Benaim Michael Benedikt Rastislav Lenhardt James Worrell

Published in: CoRR (2013)

Keyphrases

maximum number
computational complexity
small number
tree nodes
memory requirements
temporal logic
database
machine learning
decision trees
model checking
modal logic
leaf nodes
grow exponentially