HIGHER-ORDER LOGIC PROGRAMMING

被引：0
|
作者：
MILLER, DA
NADATHUR, G
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：851 / 851
页数：1
相关论文
共 50 条
  • [31] CERES in higher-order logic
    Hetzl, Stefan
    Leitsch, Alexander
    Weller, Daniel
    ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1001 - 1034
  • [32] Superposition for Higher-Order Logic
    Alexander Bentkamp
    Jasmin Blanchette
    Sophie Tourret
    Petar Vukmirović
    Journal of Automated Reasoning, 2023, 67
  • [33] CONNECTIONS AND HIGHER-ORDER LOGIC
    ANDREWS, PB
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 1 - 4
  • [34] Higher-order computational logic
    Lloyd, JW
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
  • [35] Superposition for Higher-Order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
  • [36] Higher-Order Coalition Logic
    Boella, Guido
    Gabbay, Dov M.
    Genovese, Valerio
    van der Torre, Leendert
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 555 - 560
  • [37] A logic of higher-order preferences
    Jiang, Junli
    Naumov, Pavel
    SYNTHESE, 2024, 203 (06)
  • [38] HILOG - A 1ST-ORDER SEMANTICS FOR HIGHER-ORDER LOGIC PROGRAMMING CONSTRUCTS
    CHEN, WD
    KIFER, M
    WARREN, DS
    LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 1090 - 1114
  • [39] GENERAL-MODEL THEORETIC SEMANTICS FOR HIGHER-ORDER HORN LOGIC PROGRAMMING
    BAI, M
    BLAIR, HA
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 320 - 331
  • [40] On the Relationship between Higher-Order Recursion Schemes and Higher-Order Fixpoint Logic
    Kobayashi, Naoki
    Lozes, Etienne
    Bruse, Florian
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 246 - 259
12345