IO AND OI.I

被引：105

作者：

ENGELFRIET, J ^{[1
]}

SCHMIDT, EM ^{[1
]}

机构：

[1] AARHUS UNIV,DK-8000 AARHUS C,DENMARK

来源：

关键词：

D O I：

10.1016/S0022-0000(77)80034-2

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：328 / 353

页数：26

共 44 条

[1] DECIDABLE PROPERTIES OF MONADIC FUNCTIONAL SCHEMAS
ASHCROFT, E
MANNA, Z
PNUELI, A
[J]. JOURNAL OF THE ACM, 1973, 20 (03) : 489 - 499
[2] BAKER BS, 1973, THESIS HARVARD U
[3] BEKIC H, 1969, DEFINABLE OPERATIONS
[4] Birkhoff G., 1970, J COMBINATORIAL THEO, V8, P115, DOI DOI 10.1016/S0021-9800(70)80014-X
[5] BLIKLE A, 1972, INFORM CONTR, V12, P134
[6] BOUDOL G, 1976, THESIS PARIS 7
[7] COHN PM, 1965, UNIVERSAL ALGEBRA
[8] COURCELLE B, 1974, 15TH P ANN S SWITCH, P52
[9] DAMM W, 1977, 4TH C AUT LANG PROGR
[10] DEROEVER WP, 1975, INT S PROVING IMPROV