THEOREM-PROVING FOR A HIGHER-ORDER FUNCTIONAL LANGUAGE

被引：0

|

作者：

KAUFMANN, M

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：847 / 847

页数：1

相关论文

共 50 条

[1] HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS - SPECIAL ISSUE
MELHAM, TF
COMPUTER JOURNAL, 1995, 38 (02): : 89 - 90
[2] STRUCTURING AND AUTOMATING HARDWARE PROOFS IN A HIGHER-ORDER THEOREM-PROVING ENVIRONMENT
KUMAR, R
SCHNEIDER, K
KROPF, T
FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (02) : 165 - 223
[3] The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
Mintchev, S
Lester, D
HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 144 - 162
[4] SPECIAL ISSUE ON HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS .1.
CLAESEN, L
GORDON, M
FORMAL METHODS IN SYSTEM DESIGN, 1993, 3 (1-2) : 5 - 5
[5] THEOREM-PROVING LANGUAGE FOR EXPERIMENTATION
HENSCHEN, L
OVERBEEK, R
WOS, L
COMMUNICATIONS OF THE ACM, 1974, 17 (06) : 308 - 314
[6] SPECIAL ISSUE ON HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS .2. EDITORIAL
CLAESEN, L
GORDON, M
FORMAL METHODS IN SYSTEM DESIGN, 1994, 5 (1-2) : 5 - 5
[7] Higher-order theorem proving and its applications
Steen, Alexander
IT-INFORMATION TECHNOLOGY, 2019, 61 (04): : 187 - 191
[8] Higher-order unification as a theorem proving procedure
Hagiya, Masami
Proceedings of the International Conference on Logic Programming, 1991,
[9] Graph Representations for Higher-Order Logic and Theorem Proving
Paliwal, Aditya
Loos, Sarah M.
Rabe, Markus N.
Bansal, Kshitij
Szegedy, Christian
THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2967 - 2974
[10] ON AUTOMATED THEOREM-PROVING
RUSSELL, S
WHEELER, T
ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1992, 661 : 160 - 173

← 1 2 3 4 5 →