Login / Signup
p329 The µ-calculus alternation-depth hierarchy is strict on binary trees.
André Arnold
Published in:
RAIRO Theor. Informatics Appl. (1999)
Keyphrases
</>
binary trees
binary tree
series parallel
hierarchical structure
database systems
lower bound
quadtree