COMPLETENESS CRITERIA FOR TESTING ELEMENTARY PROGRAM FUNCTIONS.

被引：0

作者：

Howden, William E.

机构：

来源：

Proceedings - International Conference on Software Engineering | 1981年

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Computer programming

引用

页码：235 / 243

共 50 条

[41] Cauchy completeness in elementary logic
Cifuentes, JC
Sette, AM
Mundici, D
JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (04) : 1153 - 1157
[42] AN ELEMENTARY PROOF OF THE COMPLETENESS OF PDL
KOZEN, D
PARIKH, R
THEORETICAL COMPUTER SCIENCE, 1981, 14 (01) : 113 - 118
[43] COMPLETENESS CRITERIA FOR SYSTEMS OF FUNCTIONS ON A FINITE RING AND QUASI-FROBENIUS RINGS
NECHAEV, AA
SIBERIAN MATHEMATICAL JOURNAL, 1982, 23 (03) : 431 - 441
[44] Completeness Criteria for Some Classes of Unary Monotone Functions in P-k
Panin, D. Yu.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2013, 68 (03) : 173 - 176
[45] CRITERIA FOR HOLOMORPHIC COMPLETENESS
GOLOVIN, VD
MATHEMATICS OF THE USSR-IZVESTIYA, 1992, 39 (01): : 817 - 827
[46] Asymptotic representations of functions.
Thome, LW
JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1902, 124 (1/4): : 152 - 156
[47] The singular Abelian functions.
Scorza, G
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1915, 160 : 392 - 394
[48] The growth of multiform functions.
Remoundos, G
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1906, 143 : 391 - 393
[49] The suites of measurable functions.
Riesz, F
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1909, 148 : 1303 - 1305
[50] Functionals of summable functions.
Hart, WL
ANNALS OF MATHEMATICS, 1923, 24 : 23 - 38