EXTRACTING LISP PROGRAMS FROM CONSTRUCTIVE PROOFS - A FORMAL THEORY OF CONSTRUCTIVE MATHEMATICS BASED ON LISP

被引：2

作者：

HAYASHI, S ^{[1
]}

机构：

[1] UNIV TSUKUBA,INST MATH,SAKURA,IBARAKI 30031,JAPAN

来源：

PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES | 1983年 / 19卷 / 01期

关键词：

D O I：

10.2977/prims/1195182982

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：169 / 191

页数：23

共 50 条

[31] Ambiguity Resolution of Radio Measurements Using the Mathematics of the Constructive Theory of Finite Fields
Kukushkin, S. S.
MEASUREMENT TECHNIQUES, 2016, 59 (06) : 671 - 677
[32] NON-ARCHIMEDEAN ARITHMETICS AND OTHER CONSTRUCTIVE MEANS OF MATHEMATICS BASED ON THE IDEA OF SPECIAL THEORY OF RELATIVITY
RVACHEV, VL
DOKLADY AKADEMII NAUK SSSR, 1991, 316 (04): : 884 - 889
[33] Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory
Bas Spitters
Order, 2010, 27 : 225 - 233
[34] Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory
Spitters, Bas
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2010, 27 (02): : 225 - 233
[35] Constructive theory refinement in knowledge based neural networks
Parekh, R
Honavar, V
IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE, 1998, : 2318 - 2323
[36] Layout-based approach for extracting constructive elements of bar-charts
Yokokura, N
Watanabe, T
GRAPHICS RECOGNITION: ALGORITHMS AND SYSTEMS, 1998, 1389 : 163 - 174
[37] A nonstandard proof of a lemma from constructive measure theory
Ross, David A.
MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (05) : 494 - 497
[38] A SELECTED BIBLIOGRAPHY ON CONSTRUCTIVE MATHEMATICS, INTUITIONISTIC TYPE THEORY AND HIGHER-ORDER DEDUCTION
COQUAND, T
HUET, G
JOURNAL OF SYMBOLIC COMPUTATION, 1985, 1 (03) : 323 - 328
[39] Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs
Boldo, Sylvie
Marche, Claude
MATHEMATICS IN COMPUTER SCIENCE, 2011, 5 (04) : 377 - 393
[40] Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe
Tupailo, S
ANNALS OF PURE AND APPLIED LOGIC, 2003, 120 (1-3) : 165 - 196

← 1 2 3 4 5 →