TYPED HORN LOGIC

被引：0
|
作者：
POIGNE, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 452卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：470 / 477
页数：8
相关论文
共 50 条
  • [1] IMPLEMENTING A KNOWLEDGE-BASED LIBRARY INFORMATION-SYSTEM WITH TYPED HORN LOGIC
    AITKACI, H
    NASR, R
    SEO, J
    INFORMATION PROCESSING & MANAGEMENT, 1990, 26 (02) : 249 - 268
  • [2] Typed norms for typed logic programs
    Martin, JC
    King, A
    Soper, P
    LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, 1997, 1207 : 224 - 238
  • [3] Typed Quantum Logic
    Kenji Tokuo
    International Journal of Theoretical Physics, 2003, 42 : 27 - 38
  • [4] Typed quantum logic
    Tokuo, K
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 42 (01) : 27 - 38
  • [5] Curry-Typed Semantics in Typed Predicate Logic
    Fox, Chris
    LOGICA YEARBOOK 2013, 2014, : 35 - 47
  • [6] A VARIABLE TYPED LOGIC OF EFFECTS
    HONSELL, F
    MASON, IA
    SMITH, S
    TALCOTT, C
    INFORMATION AND COMPUTATION, 1995, 119 (01) : 55 - 90
  • [7] Design space and typed feature logic
    Penn, G
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2006, 20 (02): : 121 - 128
  • [8] A TYPED FUNCTIONAL EXTENSION OF LOGIC PROGRAMMING
    SHIN, DW
    NANG, JH
    MAENG, SR
    CHO, JW
    NEW GENERATION COMPUTING, 1992, 10 (02) : 197 - 221
  • [9] TYPED CATEGORICAL COMBINATORY-LOGIC
    CURIEN, PL
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 157 - 172
  • [10] Combinatory Logic - Pure, Applied, and Typed
    Sorensen, Morten Heine
    STUDIA LOGICA, 2013, 101 (05) : 1143 - 1145
12345