WHILE-PROGRAMS WITH NONDETERMINISTIC ASSIGNMENTS AND THE LOGIC ALNA

被引：2

作者：

MASCARI, G

ZILLI, MV

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1985年 / 40卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(85)90167-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：211 / 235

页数：25

相关论文

共 12 条

[1]

APT KR, 1981, LECTURE NOTES COMPUT, V115, P479

[2]

APT KR, 1981, 8104 U KIEL BER

[3]

APT KR, 1982, CRS9882 U ED INT REP

[4]

BACK RJR, 1981, ACTA INFORMATICA, V15, P223

[5]

BOOM HJ, 1982, T PROGRAMM LANGUAGES, V4, P668

[6]

BROY M, 1978, SEMINAIRES INRIA LAN

[7] LOOPING VS REPEATING IN DYNAMIC LOGIC [J].

HAREL, D ;

SHERMAN, R .

INFORMATION AND CONTROL, 1982, 55 (1-3) :175-192

[8]

MASCARI GF, 1983, QUADERNI IAC 3, V158, P1

[9]

MIRKOWSKA G, 1980, FUNDAMENTA INFORM, V3, P45

[10]

MIRKOWSKA G, 1981, FUNDAMENTA INFORMATI, V4, P675