AN EQUATIONAL PRESENTATION OF HIGHER-ORDER LOGIC

被引：0
|
作者：
COQUAND, T [1 ]
EHRHARD, T [1 ]
机构：
[1] ECOLE NORMALE SUPER,F-75231 PARIS 05,FRANCE
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 283卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：40 / 56
页数：17
相关论文
共 50 条
  • [1] Higher-order equational logic for specification, simulation and testing
    Meinke, K
    [J]. HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 124 - 143
  • [2] Modular higher-order equational preunification
    Qian, ZY
    Wang, K
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (04) : 401 - 424
  • [3] EQUATIONAL SPECIFICATION OF PARTIAL HIGHER-ORDER ALGEBRAS
    BROY, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1988, 57 (01) : 3 - 45
  • [4] ON HIGHER-ORDER LOGIC
    KOGALOVS.SR
    [J]. DOKLADY AKADEMII NAUK SSSR, 1966, 171 (06): : 1272 - &
  • [5] Higher-order pattern generalization modulo equational theories
    Cerna, David M.
    Kutsia, Temur
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (06) : 627 - 663
  • [6] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [7] CERES in higher-order logic
    Hetzl, Stefan
    Leitsch, Alexander
    Weller, Daniel
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1001 - 1034
  • [8] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
  • [9] Superposition for Higher-Order Logic
    Alexander Bentkamp
    Jasmin Blanchette
    Sophie Tourret
    Petar Vukmirović
    [J]. Journal of Automated Reasoning, 2023, 67
  • [10] Higher-order computational logic
    Lloyd, JW
    [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
12345