TESTING FOR THE CHURCH-ROSSER PROPERTY

被引：37

作者：

BOOK, RV

ODUNLAING, CP

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(81)90078-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：223 / 229

页数：7

共 12 条

[1]

BERSTEL J, 1976, SEMINAIRE INFORMATIQ, P123

[2]

BOOK R, UNPUBLISHED

[3] GENERALIZATION OF DYCK SETS [J].

COCHET, Y ;

NIVAT, M .

[4]

Garey Michael R., 1979, COMPUTERS INTRACTABI

HUET, G .

[6]

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

[7]

HUET G, 1980, FORMAL LANGUAGE THEO, P349

[8]

Knuth D., 1970, COMPUTATIONAL PROBLE, P263

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

Newman, MHA .

[10]

NIVAT M, 1971, 25E ANN SEM DUBR