E-unification by means of tree tuple synchronized grammars.
Limet, Sébastien ; Réty, Pierre
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only], Tome 1 (1997), p. 69-98 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Access to full text
Publié le : 1997-01-01
EUDML-ID : urn:eudml:doc:120201 
@article{01375572,
     title = {E-unification by means of tree tuple synchronized grammars.},
     journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
     volume = {1},
     year = {1997},
     pages = {69-98},
     zbl = {0935.03019},
     language = {en},
     url = {http://dml.mathdoc.fr/item/01375572}
}

Limet, Sébastien; Réty, Pierre. E-unification by means of tree tuple synchronized grammars.. Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only], Tome 1 (1997) pp. 69-98. http://gdmltest.u-ga.fr/item/01375572/