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 条
  • [1] ON HIGHER-ORDER LOGIC
    KOGALOVS.SR
    [J]. DOKLADY AKADEMII NAUK SSSR, 1966, 171 (06): : 1272 - &
  • [2] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [3] CERES in higher-order logic
    Hetzl, Stefan
    Leitsch, Alexander
    Weller, Daniel
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1001 - 1034
  • [4] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
  • [5] Superposition for Higher-Order Logic
    Alexander Bentkamp
    Jasmin Blanchette
    Sophie Tourret
    Petar Vukmirović
    [J]. Journal of Automated Reasoning, 2023, 67
  • [6] Higher-order computational logic
    Lloyd, JW
    [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
  • [7] Higher-Order Coalition Logic
    Boella, Guido
    Gabbay, Dov M.
    Genovese, Valerio
    van der Torre, Leendert
    [J]. ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 555 - 560
  • [8] Superposition for Higher-Order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    [J]. JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
  • [9] A logic of higher-order preferences
    Jiang, Junli
    Naumov, Pavel
    [J]. SYNTHESE, 2024, 203 (06)
  • [10] SOME HIGHER-ORDER OPERATIONS WITH CONNECTIONS
    KOLAR, I
    [J]. CZECHOSLOVAK MATHEMATICAL JOURNAL, 1974, 24 (02) : 311 - 330
12345