NEW DECISION ALGORITHMS FOR FINITELY PRESENTED COMMUTATIVE SEMIGROUPS

被引：25

作者：

BALLANTYNE, AM ^{[1
]}

LANKFORD, DS ^{[1
]}

机构：

[1] LOUISIANA TECH UNIV,DEPT MATH,RUSTON,LA 71270

来源：

关键词：

D O I：

10.1016/0898-1221(81)90115-2

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：159 / 165

页数：7

共 26 条

[1]

[Anonymous], 1958, UCHEN ZAP IVANOVSKOG, V18, P49

[2]

Biryukov AP, 1967, SIBERIAN MATH J, V8, P384

[3]

CARDOZA EW, 1975, MIT67 MAC TECHN MEM

[4]

DEGANO P, 1979, DECIDING EQUIVALENCE

[5]

EMELICHEV VA, 1958, SHUISK GOS PED I UCH, V6, P227

[6] DECISION PROBLEM FOR TRANSFORMATIONS OF TREES [J].

EVANS, T .

CANADIAN JOURNAL OF MATHEMATICS, 1963, 15 (04) :584-&

[7]

EVANS T, 1951, P CAMB PHILOS SOC, V47, P637

[8]

EVANS T, 1980, WORD PROBLEMS, V2, P87

[9]

EVANS T, 1963, T AM MATH SOC, V109, P303

[10]

HACK M, 1974, 95MIT MAC PROJ