GROUPS PRESENTED BY FINITE 2-MONADIC CHURCH-ROSSER THUE SYSTEMS

被引:13
作者
AVENHAUS, J
MADLENER, K
OTTO, F
机构
关键词
D O I
10.2307/2000531
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:427 / 443
页数:17
相关论文
共 28 条
[1]  
AVENHAUS J, 1977, ACTA INFORM, V9, P87, DOI 10.1007/BF00263767
[2]  
AVENHAUS J, 1984, RAIRO-INF THEOR APPL, V18, P47
[3]  
AVENHAUS J, 1983, C MATH SOC JANOS BOL, V42, P63
[4]  
BOOK R, 1982, 6TH P C AUT DED, P360
[5]   CONFLUENT AND OTHER TYPES OF THUE SYSTEMS [J].
BOOK, RV .
JOURNAL OF THE ACM, 1982, 29 (01) :171-182
[6]   MONADIC THUE SYSTEMS [J].
BOOK, RV ;
JANTZEN, M ;
WRATHALL, C .
THEORETICAL COMPUTER SCIENCE, 1982, 19 (03) :231-251
[7]   WHEN IS A MONOID A GROUP - THE CHURCH-ROSSER CASE IS TRACTABLE [J].
BOOK, RV .
THEORETICAL COMPUTER SCIENCE, 1982, 18 (03) :325-331
[8]  
BOONE WW, 1955, NEDERL AKAD WETENS A, V58, P252
[9]  
BOONE WW, 1957, NEDERL AKAD WETENS A, V60, P22
[10]  
BOONE WW, 1954, NEDERL AKAD WETENS A, V57, P231