The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees.

Bernhard Heinemann

Published in: Fundam. Informaticae (1999)

Keyphrases

decision trees
modal logic
neural network
space complexity
polynomial hierarchy
computational complexity
worst case
complexity analysis
binary tree
propositional formulas
binary trees