The local catenativity of DOL-sequences in free commutative monoids is decidable in the binary case
Lambert, J. L.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992), p. 425-437 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1992-01-01
@article{ITA_1992__26_5_425_0,
     author = {Lambert, J. L.},
     title = {The local catenativity of DOL-sequences in free commutative monoids is decidable in the binary case},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {26},
     year = {1992},
     pages = {425-437},
     mrnumber = {1187511},
     zbl = {0768.68078},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1992__26_5_425_0}
}

Lambert, J. L. The local catenativity of DOL-sequences in free commutative monoids is decidable in the binary case. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992) pp. 425-437. http://gdmltest.u-ga.fr/item/ITA_1992__26_5_425_0/

1 C. Choffrut, Iterated substitutions and locally catenative Systems: a decidability result in the binary case, private communication.

2 S. Lang, Algebra, Addison Wesley 1965. | MR 197234 | Zbl 0193.34701

3 A. Lindenmayer, G. Rozenberg, Developmental Systems with locally catenative formulas, Acta Informatica, 2, 1973, pp. 214-248. | MR 331883 | Zbl 0304.68076

4 Weber, Seidl, On finite generated monoids of matrices with entries in N, RAIRO, Inf Theor. Appl., 25, 1991, pp. 19-38. | Numdam | MR 1104408 | Zbl 0721.20042