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 条

[21] A GENERAL COMPLETENESS THEOREM IN SAMPLING THEORY
LIU, TP
JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES B-METHODOLOGICAL, 1983, 45 (03): : 369 - 372
[22] PROOF OF COMPLETENESS OF LATTICE STATES IN KQ REPRESENTATION
BACRY, H
GROSSMANN, A
ZAK, J
PHYSICAL REVIEW B, 1975, 12 (04): : 1118 - 1120
[23] A coinductive completeness proof for the equivalence of recursive types
Cardone, F
THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 575 - 587
[24] THE COMPLETENESS OF PROPOSITIONAL RESOLUTION A SIMPLE AND CONSTRUCTIVE PROOF
Gallier, Jean
LOGICAL METHODS IN COMPUTER SCIENCE, 2006, 2 (05)
[25] A direct proof of the completeness of SLDNF-resolution
Stärk, R
JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (01) : 47 - 61
[26] Corrigendum on the proof of completeness for exceptional Hermite polynomials
Gomez-Ullate, David
Grandati, Yves
Milson, Robert
JOURNAL OF APPROXIMATION THEORY, 2020, 253
[27] ON COMPLETENESS AND MULTI-CHANNEL SAMPLING
BROWN, JL
SIGNAL PROCESSING, 1983, 5 (01) : 21 - 30
[28] Failure of Completeness in Proof-Theoretic Semantics
Piecha, Thomas
Sanz, Wagner de Campos
Schroeder-Heister, Peter
JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (03) : 321 - 335
[29] A PROOF OF ASYMPTOTIC COMPLETENESS, UNIFORMLY IN THE NUMBER OF PARTICLES
BOTVICH, DD
MALYSHEV, VA
MATHEMATICS OF THE USSR-IZVESTIYA, 1990, 54 (01): : 139 - 153
[30] Proof of Optical-Image Metrological Completeness
Meas Tech, 7 (627):

← 1 2 3 4 5 →