PROOF, COMPLETENESS, TRANSCENDENTALS, AND SAMPLING

被引：6

|

作者：

DAVIS, PJ ^{[1
]}

机构：

[1] BROWN UNIV,DEPT APPL MATH,PROVIDENCE,RI 02912

来源：

JOURNAL OF THE ACM | 1977年 / 24卷 / 02期

关键词：

D O I：

10.1145/322003.322013

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：298 / 310

页数：13

相关论文

共 50 条

[1] Russell's completeness proof
Milne, Peter
HISTORY AND PHILOSOPHY OF LOGIC, 2008, 29 (01) : 31 - 62
[2] Evidential completeness and the burden of proof
Nance, DA
HASTINGS LAW JOURNAL, 1998, 49 (03) : 621 - +
[3] ANOTHER INTUITIONISTIC COMPLETENESS PROOF
DESWART, H
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (03) : 644 - 662
[4] AN ELEMENTARY PROOF OF THE COMPLETENESS OF PDL
KOZEN, D
PARIKH, R
THEORETICAL COMPUTER SCIENCE, 1981, 14 (01) : 113 - 118
[5] A semantic completeness proof for TaMeD
Bonichon, Richard
Hermant, Olivier
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 167 - +
[6] A proof of the completeness of Lamb modes
Akian, Jean-Luc
MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2022, 45 (03) : 1402 - 1419
[7] ON THE COMPLETENESS OF MODULAR PROOF SYSTEMS
RAMESH, S
INFORMATION PROCESSING LETTERS, 1990, 36 (04) : 195 - 201
[8] 'TRANSCENDENTALS'
COOLEY, P
POETRY, 1995, 166 (02) : 77 - 77
[9] APPLICATION OF ROBINSON A PROOF OF COMPLETENESS THEOREM
NAKANO, Y
PROCEEDINGS OF THE JAPAN ACADEMY, 1971, 47 : 929 - 931
[10] A GEOMETRIC PROOF OF THE COMPLETENESS OF THE LUKASIEWICZ CALCULUS
PANTI, G
JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (02) : 563 - 578

← 1 2 3 4 5 →