THUE SYSTEMS AS REWRITING-SYSTEMS

被引：0
作者：
BOOK, RV
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 202卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：63 / 94
页数：32
相关论文
共 55 条
[1]  
ADJAN S, 1966, P STEKLOV I MATH, P85
[2]  
[Anonymous], 2004, COMBINATORIAL GROUP
[3]  
AVENHAUS J, 1984, RAIRO-INF THEOR APPL, V18, P47
[4]  
AVENHAUS J, 1984, GROUPS PRESENTED FIN
[5]  
Avenhaus J., 1978, ARCH MATH LOGIC, V19, P3
[6]   FINITE COMPLETE REWRITING-SYSTEMS AND THE COMPLEXITY OF THE WORD PROBLEM [J].
BAUER, G ;
OTTO, F .
ACTA INFORMATICA, 1984, 21 (05) :521-540
[7]  
BAUER G, 1984, THESIS U KAISERSLAUT
[8]  
BAUER G, UNPUB N LEVEL REWRIT
[9]  
BERSTEL J, 1976, CONGRUENCES PLUS QUE, P123
[10]  
BOOK R, 1983, MATH SYSTEMS THEORY, V16, P301
123456