Login / Signup
Complexity of Two-Variable Logic on Finite Trees.
Saguy Benaim
Michael Benedikt
Witold Charatonik
Emanuel Kieronski
Rastislav Lenhardt
Filip Mazowiecki
James Worrell
Published in:
ACM Trans. Comput. Log. (2016)
Keyphrases
</>
decision trees
computational complexity
space complexity
modal logic
computational cost
worst case
neural network
machine learning
genetic algorithm
relational databases
tree structure
automated reasoning
tree construction