The first-order theory of ordering constraints over feature trees.

Müller, Martin, Niehren, Joachim, and Treinen, Ralf. "The first-order theory of ordering constraints over feature trees.." Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] 4.2 (2001): 193-234 p.. <http://eudml.org/doc/227586>.

@article{Müller2001,
author = {Müller, Martin, Niehren, Joachim, Treinen, Ralf},
journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
keywords = {feature constraints; logic of trees; automata},
language = {eng},
number = {2},
pages = {193-234 p.},
publisher = {Maison de l'Informatique et des Mathématiques Discrètes, MIMD},
title = {The first-order theory of ordering constraints over feature trees.},
url = {http://eudml.org/doc/227586},
volume = {4},
year = {2001},
}

TY - JOUR
AU - Müller, Martin
AU - Niehren, Joachim
AU - Treinen, Ralf
TI - The first-order theory of ordering constraints over feature trees.
JO - Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
PY - 2001
PB - Maison de l'Informatique et des Mathématiques Discrètes, MIMD
VL - 4
IS - 2
SP - 193
EP - 234 p.
LA - eng
KW - feature constraints; logic of trees; automata
UR - http://eudml.org/doc/227586
ER -