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 [J].

ASHCROFT, E ;

MANNA, Z ;

PNUELI, A .

[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