SOME NATURAL STRUCTURES WHICH FAIL TO POSSESS A SOUND AND DECIDABLE HOARE-LIKE LOGIC FOR THEIR WHILE-PROGRAMS

被引：11

作者：

BERGSTRA, JA ^{[1
]}

TUCKER, JV ^{[1
]}

机构：

[1] MATH CTR,DEPT COMP SCI,1098 SJ AMSTERDAM,NETHERLANDS

来源：

THEORETICAL COMPUTER SCIENCE | 1982年 / 17卷 / 03期

关键词：

D O I：

10.1016/0304-3975(82)90027-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：303 / 315

页数：13

相关论文

共 25 条

[21]

MIRKOWSKA G, 1977, FUND INFORM, V1, P147

[22]

Rabin M., 1960, T AM MATH SOC, V95, P341

[23]

Rogers Jr. H., 1967, MCGRAW HILL SERIES H

[24]

TUCKER JV, 1980, RECURSION THEORY ITS

[25] NEW INCOMPLETENESS RESULT FOR HOARES SYSTEM [J].

WAND, M .

JOURNAL OF THE ACM, 1978, 25 (01) :168-175