On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids

Jürgen Avenhaus; Ronald V. Book; Craig C. Squier

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1984)

  • Volume: 18, Issue: 1, page 47-52
  • ISSN: 0988-3754

How to cite

top

Avenhaus, Jürgen, Book, Ronald V., and Squier, Craig C.. "On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 18.1 (1984): 47-52. <http://eudml.org/doc/92199>.

@article{Avenhaus1984,
author = {Avenhaus, Jürgen, Book, Ronald V., Squier, Craig C.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {finite Church-Rosser Thue System; commutative; cancellative; free cyclic monoid},
language = {eng},
number = {1},
pages = {47-52},
publisher = {EDP-Sciences},
title = {On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids},
url = {http://eudml.org/doc/92199},
volume = {18},
year = {1984},
}

TY - JOUR
AU - Avenhaus, Jürgen
AU - Book, Ronald V.
AU - Squier, Craig C.
TI - On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1984
PB - EDP-Sciences
VL - 18
IS - 1
SP - 47
EP - 52
LA - eng
KW - finite Church-Rosser Thue System; commutative; cancellative; free cyclic monoid
UR - http://eudml.org/doc/92199
ER -

References

top
  1. 1. A. M. BALLANTYNE and D. S. LANKFORD, New Decision Algorithms for Finitely Presented Commutative Semigroups, Computation and Mathematics with Applications, Vol. 7, 1981, pp. 159-165. Zbl0449.20059MR619758
  2. 2. R. BOOK, Decidable Sentences of Church-Rosser Congruences, Theoret. Comput. Sc., Vol. 24, 1983, pp. 301-312. Zbl0525.68015MR716826
  3. 3. Y. COCHET, Church-Rosser Congruences on Free Semigroups, Colloquia Math. Soc. Janos Bolyai, Vol. 20, 1976, pp. 51-60. Zbl0408.20054MR541109
  4. 4. Y. COCHET and M. NIVAT, Une generalisation des ensembles de Dyck, Israël J. Math., Vol. 9, 1971, pp. 389-395. Zbl0215.56005MR276021
  5. 5. S. EILENBERG and M. P. SCHUTZENBERGER, Rational Sets in Commutative Monoids, J. Algebra, Vol. 13, 1969, pp. 173-191. Zbl0206.02703MR246985
  6. 6. G. HUET, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, J. Assoc. Comput. Mach., Vol. 27, 1980, pp. 797-821. Zbl0458.68007MR594700
  7. 7. C. Ó'DÚNLAING, Finite and Infinite Regular Thue Systems, Ph. D. dissertation, University of California at Santa Barbara, 1981. 
  8. 8. L. REDEI, The Theory of Finitely Generated Commutative Semigroups, Pergamon Press, 1965. Zbl0133.27904MR188322
  9. 9. J. SAKAROVITCH, Sur les monoides commutatifs, Séminaire d'Informatique Theorique, Institut de Programmation, n° 1, 1978, pp. 78-01. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.