The first-order theory of ordering constraints over feature trees.
Müller, Martin ; Niehren, Joachim ; Treinen, Ralf
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only], Tome 4 (2001), p. 193-234 p. / Harvested from The Electronic Library of Mathematics
Full (PS)
Access to full text
Publié le : 2001-01-01
EUDML-ID : urn:eudml:doc:227586 
@article{01661004,
     title = {The first-order theory of ordering constraints over feature trees.},
     journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
     volume = {4},
     year = {2001},
     pages = {193-234 p.},
     zbl = {0981.68081},
     language = {en},
     url = {http://dml.mathdoc.fr/item/01661004}
}

Müller, Martin; Niehren, Joachim; Treinen, Ralf. The first-order theory of ordering constraints over feature trees.. Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only], Tome 4 (2001) pp. 193-234 p. http://gdmltest.u-ga.fr/item/01661004/