CONNECTIONS AND HIGHER-ORDER LOGIC

被引：0
|
作者：
ANDREWS, PB
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 230卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 4
页数：4
相关论文
共 50 条
  • [31] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
  • [32] Higher-Order Logic and Disquotational Truth
    Picollo, Lavinia
    Schindler, Thomas
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (04) : 879 - 918
  • [33] REMARKS ON HIGHER-ORDER MODAL LOGIC
    DACOSTA, NCA
    DEALCANTARA, LP
    [J]. ACTA CIENTIFICA VENEZOLANA, 1987, 38 (02): : 282 - 284
  • [34] Functional procedures in higher-order logic
    Laibinis, L
    von Wright, J
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 372 - 387
  • [35] Tabling for higher-order logic programming
    Pientka, B
    [J]. AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 54 - 68
  • [36] Higher-order transformation of logic programs
    Seres, S
    Spivey, M
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
  • [37] COMPACT FRAGMENT OF HIGHER-ORDER LOGIC
    MALITZ, J
    RUBIN, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 190 - 190
  • [38] AN EQUATIONAL PRESENTATION OF HIGHER-ORDER LOGIC
    COQUAND, T
    EHRHARD, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 40 - 56
  • [39] Higher-Order Logic and Disquotational Truth
    Lavinia Picollo
    Thomas Schindler
    [J]. Journal of Philosophical Logic, 2022, 51 : 879 - 918
  • [40] A PROBABILISTIC HIGHER-ORDER FIXPOINT LOGIC
    Mitani, Yo
    Kobayashi, Naoki
    Tsukada, Takeshi
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (04)
12345