THUE CONGRUENCES AND THE CHURCH-ROSSER PROPERTY

被引：8

作者：

BOOK, RV

ODUNLAING, CP

机构：

来源：

关键词：

D O I：

10.1007/BF02572815

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：367 / 379

页数：13

共 13 条

[1]

BERSTEL J, 1976, CONGRUENCES PLUS QUE, P123

[2]

BOOK R, UNPUBLISHED

[3]

BOOK RV, 1980, RESULTS THUE SYSTEMS

[4]

COCHET Y, 1976, ALGEBRAIC THEORY SEM, V20, P51

[5]

Davis M., 1958, COMPUTABILITY UNSOLV

[6]

Hopcroft J.E., 1979, INTRO AUTOMATA THEOR

HUET, G .

[8]

HUET G, 1977, 18TH IEEE S F COMP S, P30

[9]

Lallement G., 1979, SEMIGROUPS COMBINATO

[10] On theories with a combinatorial definition of "equivalence" [J].

Newman, MHA .