Login / Signup

MSO on the Infinite Binary Tree: Choice and Order.

Arnaud CarayolChristof Löding
Published in: CSL (2007)
Keyphrases
  • binary tree
  • quadtree
  • markov decision processes
  • hierarchical structure