VARIETIES OF IF-THEN-ELSE

被引：30

作者：

BLOOM, SL ^{[1
]}

TINDELL, R ^{[1
]}

机构：

[1] STEVENS INST TECHNOL,DEPT PURE & APPL MATH,HOBOKEN,NJ 07030

来源：

关键词：

D O I：

10.1137/0212047

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：677 / 707

页数：31

共 12 条

[1]

ARNOLD A, 1978, THEORET COMPUT SCI, V12, P69

BACKUS, J .

[3]

BLOOM SL, 1980, SIAM J COMP, V11, P683

COURCELLE, B .

MATHEMATICAL SYSTEMS THEORY, 1979, 13 (02) :131-180

[5]

COURCELLE B, 1976, 17TH S F COMP SCI HO

[6]

COUSINEAU G, UNPUB RATIONAL EXPRE

[7]

GORN S, 1965, SYSTEMS COMPUTER SCI

[8] FIXPOINT APPROACH TO THEORY OF COMPUTATION [J].

MANNA, Z ;

VUILLEMIN, J .

[9]

MCCARTHY J, 1963, COMPUTER PROGRAMMING

SAMET, H .