Application of constructive completeness

被引：0

作者：

机构：

来源：

Lecture Notes in Computer Science | / 1158卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] An application of constructive completeness
Coquand, T
Smith, JM
TYPES FOR PROOFS AND PROGRAMS, 1996, 1158 : 76 - 84
[2] On the Cauchy completeness of the constructive Cauchy reals
Lubarsky, Robert S.
MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (4-5) : 396 - 414
[3] On the Cauchy Completeness of the Constructive Cauchy Reals
Lubarsky, Robert S.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 167 : 225 - 254
[4] Constructive completeness for the linear-time μ-calculus
Doumane, Amina
2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
[5] The monotone completeness theorem in constructive reverse mathematics
Ishihara, Hajime
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (24): : 6 - U11
[6] THE COMPLETENESS OF PROPOSITIONAL RESOLUTION A SIMPLE AND CONSTRUCTIVE PROOF
Gallier, Jean
LOGICAL METHODS IN COMPUTER SCIENCE, 2006, 2 (05)
[7] A constructive look at the completeness of the space D(R)
Ishihara, H
Yoshida, S
JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1511 - 1519
[8] COMPLETENESS AND CUT-ELIMINATION IN CONSTRUCTIVE INFINITARY ARITHMETICS
SATINDER, PK
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (07): : 1108 - &
[9] Completeness and Decidability Results for CTL in Constructive Type Theory
Christian Doczkal
Gert Smolka
Journal of Automated Reasoning, 2016, 56 : 343 - 365
[10] Completeness and Decidability Results for CTL in Constructive Type Theory
Doczkal, Christian
Smolka, Gert
JOURNAL OF AUTOMATED REASONING, 2016, 56 (03) : 343 - 365

← 1 2 3 4 5 →