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 (1992)
- Volume: 26, Issue: 5, page 425-437
- ISSN: 0988-3754
Access Full Article
topHow to cite
topLambert, 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 26.5 (1992): 425-437. <http://eudml.org/doc/92426>.
@article{Lambert1992,
author = {Lambert, J. L.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {free monoid; decidability},
language = {eng},
number = {5},
pages = {425-437},
publisher = {EDP-Sciences},
title = {The local catenativity of DOL-sequences in free commutative monoids is decidable in the binary case},
url = {http://eudml.org/doc/92426},
volume = {26},
year = {1992},
}
TY - JOUR
AU - Lambert, J. L.
TI - The local catenativity of DOL-sequences in free commutative monoids is decidable in the binary case
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1992
PB - EDP-Sciences
VL - 26
IS - 5
SP - 425
EP - 437
LA - eng
KW - free monoid; decidability
UR - http://eudml.org/doc/92426
ER -
References
top- 1 C. CHOFFRUT, Iterated substitutions and locally catenative Systems: a decidability result in the binary case, private communication. Zbl0765.68069
- 2 S. LANG, Algebra, Addison Wesley 1965. Zbl0193.34701MR197234
- 3 A. LINDENMAYER, G. ROZENBERG, Developmental Systems with locally catenative formulas, Acta Informatica, 2, 1973, pp. 214-248. Zbl0304.68076MR331883
- 4 WEBER, SEIDL, On finite generated monoids of matrices with entries in N, RAIRO, Inf Theor. Appl., 25, 1991, pp. 19-38. Zbl0721.20042MR1104408
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.