Tutorial on interactive theorem proving using type theory

被引：0
|
作者：
Howe, DJ [1 ]
机构：
[1] Bell Labs, Murray Hill, NJ 07974 USA
来源：
COMPUTER SCIENCE LOGIC, PROCEEDINGS | 1999年 / 1683卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：578 / 578
页数：1
相关论文
共 50 条
  • [1] APPROACH TO THEOREM PROVING IN TYPE THEORY
    ANDREWS, PB
    COHEN, EL
    JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 477 - 478
  • [2] Hybrid interactive theorem proving using Nuprl and HOL
    Felty, AP
    Howe, DJ
    AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 351 - 365
  • [3] Automated Theory Exploration for Interactive Theorem Proving: An Introduction to the Hipster System
    Johansson, Moa
    INTERACTIVE THEOREM PROVING (ITP 2017), 2017, 10499 : 1 - 11
  • [4] Introduction to Milestones in Interactive Theorem Proving
    Avigad, Jeremy (avigad@cmu.edu), 2018, Springer Netherlands (61) : 1 - 4
  • [5] Performing Calculation in Interactive Theorem Proving
    Li, Bing
    Zhao, Chenyang
    Li, Lian
    MECHANICAL AND ELECTRONICS ENGINEERING III, PTS 1-5, 2012, 130-134 : 2924 - 2927
  • [6] Interactive Theorem Proving and Verification FOREWORD
    Natarajan, Raja
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 2009, 34 (01): : 1 - 2
  • [7] Integrating Testing and Interactive Theorem Proving
    Chamarthi, Harsh Raju
    Dillinger, Peter C.
    Kaufmann, Matt
    Manolios, Panagiotis
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (70): : 4 - 19
  • [8] Interactive Theorem Proving with Temporal Logic
    Felty, A.
    Thery, L.
    Journal of Symbolic Computation, 23 (04):
  • [9] Interactive Theorem Proving Modulo Fuzzing
    Muduli, Sujit Kumar
    Padulkar, Rohan Ravikumar
    Roy, Subhajit
    COMPUTER AIDED VERIFICATION, PT I, CAV 2024, 2024, 14681 : 480 - 493
  • [10] Introduction to Milestones in Interactive Theorem Proving
    Jeremy Avigad
    Jasmin Christian Blanchette
    Gerwin Klein
    Lawrence Paulson
    Andrei Popescu
    Gregor Snelting
    Journal of Automated Reasoning, 2018, 61 : 1 - 8
12345