ON HIGHER-ORDER LOGIC

被引：0
|
作者：
KOGALOVS.SR
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1966年 / 171卷 / 06期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：1272 / &
相关论文
共 50 条
  • [1] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [2] CERES in higher-order logic
    Hetzl, Stefan
    Leitsch, Alexander
    Weller, Daniel
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1001 - 1034
  • [3] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
  • [4] Superposition for Higher-Order Logic
    Alexander Bentkamp
    Jasmin Blanchette
    Sophie Tourret
    Petar Vukmirović
    [J]. Journal of Automated Reasoning, 2023, 67
  • [5] Higher-order computational logic
    Lloyd, JW
    [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
  • [6] CONNECTIONS AND HIGHER-ORDER LOGIC
    ANDREWS, PB
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 1 - 4
  • [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] On the Relationship between Higher-Order Recursion Schemes and Higher-Order Fixpoint Logic
    Kobayashi, Naoki
    Lozes, Etienne
    Bruse, Florian
    [J]. ACM SIGPLAN NOTICES, 2017, 52 (01) : 246 - 259
12345