# 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

top## How 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.