A NOTE ON SPECIAL THUE SYSTEMS WITH A SINGLE DEFINING RELATION

被引：14

作者：

BOOK, RV

机构：

来源：

MATHEMATICAL SYSTEMS THEORY | 1983年 / 16卷 / 01期

关键词：

D O I：

10.1007/BF01744568

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：57 / 60

页数：4

共 14 条

[1] AVENHAUS J, 1980, REV COLOMBIANA MATH, V14, P1
[2] BERSTEL J, 1976, SEMINAIRE INFORMATIQ, P123
[3] BOOK R, 1982, UNPUB J ASS COMPUT M, V29
[4] TESTING FOR THE CHURCH-ROSSER PROPERTY
BOOK, RV
ODUNLAING, CP
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 16 (02) : 223 - 229
[5] GENERALIZATION OF DYCK SETS
COCHET, Y
NIVAT, M
[J]. ISRAEL JOURNAL OF MATHEMATICS, 1971, 9 (03) : 389 - &
[6] CONFLUENT REDUCTIONS - ABSTRACT PROPERTIES AND APPLICATIONS TO TERM REWRITING SYSTEMS
HUET, G
[J]. JOURNAL OF THE ACM, 1980, 27 (04) : 797 - 821
[7] ON A SPECIAL MONOID WITH A SINGLE DEFINING RELATION
JANTZEN, M
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 16 (01) : 61 - 73
[8] Knuth D. E., 1977, SIAM Journal on Computing, V6, P323, DOI 10.1137/0206024
[9] Lyndon R. C., 1962, MICH MATH J, V9, P289, DOI DOI 10.1307/MMJ/1028998773
[10] On theories with a combinatorial definition of "equivalence"
Newman, MHA
[J]. ANNALS OF MATHEMATICS, 1942, 43 : 223 - 243