A Complexity Approach to Tree Algebras: the Bounded Case.

Thomas Colcombet Arthur Jaquard

Published in: ICALP (2021)

Keyphrases

tree structure
computational complexity
np complete
case base
decision problems
b tree
temporal reasoning
space complexity
spatial reasoning
tree construction
tree nodes