Skip to main content

Tree extension algebras: logics, automata, and query languages

01 January 2002

New Image

We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation T