PROOFS AS PROGRAMS

被引：65

作者：

BATES, JL

CONSTABLE, RL

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1985年 / 7卷 / 01期

关键词：

D O I：

10.1145/2363.2528

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：113 / 136

页数：24

共 40 条

[1]

ANDREWS PB, 1982, LECTURE NOTES COMPUT, V138, P50

[2]

BATES J, 1981, TR82492 CORN U COMP

[3]

BATES JL, 1979, THESIS CORNELL U

[4]

Bishop E., 1970, INTUITIONISM PROOF T, P53

[5]

BISHOP E, 1967, F CONSTRUCTIVE ANAL

[6] NON-RESOLUTION THEOREM PROVING [J].

BLEDSOE, WW .

[7]

Boyer R.S., 1979, ACM MONOGRAPH SERIES

[8]

BUNDY A, 1983, COMPUTER MODELLING M

[9]

Constable R. L., 1971, P IFIP C N HOLL, P229

[10] PROGRAMS AS PROOFS - A SYNOPSIS [J].

CONSTABLE, RL .