Tree extension algebras: logics, automata, and query languages
01 January 2002
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation T
We have limited content available for some countries. Find office information and country specific information through our country hub.
01 January 2002
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation T