ACM Home Page
Please provide us with feedback. Feedback
Confluent and Other Types of Thue Systems
Full text PdfPdf (646 KB)
Source Journal of the ACM (JACM) archive
Volume 29 ,  Issue 1  (January 1982) table of contents
Pages: 171 - 182  
Year of Publication: 1982
ISSN:0004-5411
Author
Ronald V. Book  Department of Mathematics, University of California at Santa Barbara, Santa Barbara, CA
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 1,   Downloads (12 Months): 28,   Citation Count: 7
Additional Information:

references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/322290.322301
What is a DOI?

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
ADJAN, S Defining relations and algorithmic problems for groups and semlgroups Proc Stektov lnst Math 85, 1966 {Enlish version published by American Mathematical Society, 1967}
 
2
AHO, A, SETHI, R, AND ULLMAN, J Code opum~zatmn and fimte Church-Rosser systems In Design and Opnmtzatton of Compders, R Rustm, Ed, Prentice Hall, 1972, pp 89-105
 
3
BERSTEL, J Congruences plus que parfaites et languages algdbnque Semmair d'Informattque Thdonque, lnstltut de Programmatmn, 1976-77, pp 123-147
 
4
BooK, R, JANTZEN, M, MONIEN, B, AND WRATHHELL. C Results on Thue systems and sem~groups Research announcement, Omv of Californta, Santa Barbara, Cahf, May 1980
 
5
BOOK, R, JANTZEN, M, AND WRAIHALL, C Monadlc Thue systems To appear m Theor Comput SCI
 
6
BooK, R, AND KWAN, C On umquely deopherable codes with two codewords IEEE Trans Comput 29 (1980), 324--325
 
7
BOOK, R, AND O'DUNLAING, C Testing for the Church-Rosser property Theor Comput Sa 16 (1981), 223-229
 
8
BOOK, R., AND 0'DUNLAING, C. Thue congruences and the Church-Rosser property Semtgroup Forum 22 (1981), 36%379
 
9
CHURCH, A, AND ROSSER, B Some properties of conversion Tram Am Math Soc 39 (1939), 472--482
 
10
COCHET, Y Sur l'algdbnotd des classes de certalnes congruences d6fimes sur le monotde hbre Thbse 3'~ cycle, Rennes, 1971
 
11
COCHET, Y, AND NIVAT, M Une generalization des ensembles de Dyck lsrael J. Math. 9 (1971), 389-395
12
 
13
JANTZEN, M. On a special monold with a single defining relauon, Theor. Comput Sct 16 (1981), 61-73
 
14
LYNDON, R, AND SCHUTZENBERGER, M The equation aM - b Ncv m a free group Mtehtgan Math. J9 (1962), 289-298
 
15
NEWMAN, M H A On theories with a combinatorial definition of "equtvalence." Ann Math. 43 (1943), 223-243
16
 
17
NIVAT, M (WITh BENOtS, M )Congruences parfattes et quast-parfaltes. Semmaire Dubred, 25~ Annee, 1971-72, 7-01-09
18
 
19
SAKAROVITCH, J Syntaxe des languages de ChomskymEssat sur le d6termisme Th~se de Doctoral d Etat, Umverslt6 Pans VII, 1979