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