|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
R. V. Book, Decidable sentences of Church-Rosser congruences, Theoret. Comput. Sci. 24 (1983), 301-312.
|
| |
2
|
|
 |
3
|
|
| |
4
|
R. V. Book, Thue systems and Church-Rosser property, replacement of systems, specification of formal languages, and presentations of monoids. in L. Cummings, ed. Combi-natorics on words: Progress and perspectives (Academic Press. Canada (1983), 1-38.
|
| |
5
|
A. H. Clifford, and G. B. Preston, The Alge-braic Theory of Semigroups , Math. Surveys of the American Math. Soc.7 F)rovidence, R. I. 1961.
|
| |
6
|
|
| |
7
|
M. Jantzen, On a special monoid with a single defining relation, Theoret. Cornput. Sci. 16 (1981), 61-73.
|
| |
8
|
D. Knuth, P. Bendix, Simple word prob-lems in universal algebra, in: J. Leeched.), Computational Problems in Abstract Alge-bra, Pergamon Press. 1970, 263-297.
|
| |
9
|
F. Otto, Deciding algebraic properties of finitely presented monoids, Lecture Notes in Computer Science (Spring: Berlin), 277 (1987), 218-263.
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
I.1