SOME REMARKS ON HIGHER-ORDER LOGIC

被引：0
|
作者：
KOGALOVSKII, SR
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1968年 / 178卷 / 05期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：1007 / +
页数：1
相关论文
共 50 条
  • [1] REMARKS ON HIGHER-ORDER MODAL LOGIC
    DACOSTA, NCA
    DEALCANTARA, LP
    ACTA CIENTIFICA VENEZOLANA, 1987, 38 (02): : 282 - 284
  • [2] Some Remarks on Multivalent Functions of Higher-order Derivatives
    Aouf, M. K.
    Lashin, A. Y.
    BOLETIM SOCIEDADE PARANAENSE DE MATEMATICA, 2022, 40
  • [3] ON HIGHER-ORDER LOGIC
    KOGALOVS.SR
    DOKLADY AKADEMII NAUK SSSR, 1966, 171 (06): : 1272 - &
  • [4] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [5] CERES in higher-order logic
    Hetzl, Stefan
    Leitsch, Alexander
    Weller, Daniel
    ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1001 - 1034
  • [6] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
  • [7] Superposition for Higher-Order Logic
    Alexander Bentkamp
    Jasmin Blanchette
    Sophie Tourret
    Petar Vukmirović
    Journal of Automated Reasoning, 2023, 67
  • [8] CONNECTIONS AND HIGHER-ORDER LOGIC
    ANDREWS, PB
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 1 - 4
  • [9] Higher-order computational logic
    Lloyd, JW
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
  • [10] Superposition for Higher-Order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
12345