WHEN IS A MONOID A GROUP - THE CHURCH-ROSSER CASE IS TRACTABLE

被引：15

作者：

BOOK, RV

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(82)90072-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：325 / 331

页数：7

共 15 条

[1]

ADJAN SI, 1966, P STEKLOV I MATH, V0085

[2]

BERSTEL J, 1976, CONGRUENCES PLUS QUE, P123

[3]

BOOK R, 1982, UNPUB THEORET COMPUT, V19

[4] CONFLUENT AND OTHER TYPES OF THUE SYSTEMS [J].

BOOK, RV .

[5] TESTING FOR THE CHURCH-ROSSER PROPERTY [J].

BOOK, RV ;

ODUNLAING, CP .

[6] GENERALIZATION OF DYCK SETS [J].

COCHET, Y ;

NIVAT, M .

[7]

COCHET Y, 1971, THESIS RENNES

[8]

Garey Michael R., 1979, COMPUTERS INTRACTABI

[9]

Hopcroft J.E., 1979, INTRO AUTOMATA THEOR

HUET, G .