CONSTRUCTIONS - A HIGHER-ORDER PROOF SYSTEM FOR MECHANIZING MATHEMATICS

被引：0

|

作者：

COQUAND, T

HUET, G

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 203卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：151 / 184

页数：34

相关论文

共 50 条

[1] MECHANIZING A PROOF BY INDUCTION OF PROCESS ALGEBRA SPECIFICATIONS IN HIGHER-ORDER LOGIC
NESI, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 288 - 298
[2] Mechanizing coinduction and corecursion in higher-order logic
Paulson, LC
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (02) : 175 - 204
[3] Higher-order CPM Constructions
Gogioso, Stefano
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (287): : 145 - 162
[4] MECHANIZING CSP TRACE THEORY IN HIGHER-ORDER LOGIC
CAMILLERI, AJ
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 993 - 1004
[5] MECHANIZING MATHEMATICS OR APPLIED PROOF THEORY
WEYHRAUCH, RW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 122 - 122
[6] HIGHER-ORDER THINKING SKILLS IN MATHEMATICS TEXTBOOKS
NICELY, RF
[J]. EDUCATIONAL LEADERSHIP, 1985, 42 (07) : 26 - 30
[7] Improving Automation for Higher-Order Proof Steps
Defourne, Antoine
[J]. FRONTIERS OF COMBINING SYSTEMS (FROCOS 2021), 2021, 12941 : 139 - 153
[8] A verified proof checker for higher-order logic
Abrahamsson, Oskar
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 112
[9] Higher-Order Lagrangian Equations of Higher-Order Motive Mechanical System
ZHAO Hong-Xia MA Shan-Jun SHI Yong College of Physics and Communication Electronics
[J]. Communications in Theoretical Physics, 2008, 49 (02) : 479 - 481
[10] Higher-order Lagrangian equations of higher-order motive mechanical system
Zhao Hong-Xia
Ma Shan-Jun
Shi Yong
[J]. COMMUNICATIONS IN THEORETICAL PHYSICS, 2008, 49 (02) : 479 - 481

← 1 2 3 4 5 →