TYPED HORN LOGIC

被引：0
|
作者：
POIGNE, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 452卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：470 / 477
页数：8
相关论文
共 50 条
  • [21] A TYPED CALCULUS BASED ON A FRAGMENT OF LINEAR LOGIC
    SOLITRO, U
    THEORETICAL COMPUTER SCIENCE, 1989, 68 (03) : 333 - 342
  • [22] MSVL: a typed language for temporal logic programming
    Wang, Xiaobing
    Tian, Cong
    Duan, Zhenhua
    Zhao, Liang
    FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (05) : 762 - 785
  • [23] Well-typed logic programs are not wrong
    Deransart, P
    Smaus, JG
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 280 - 295
  • [24] Continuous fuzzy Horn logic
    Vychodil, V
    MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (02) : 171 - 186
  • [25] Interpolation in propositional Horn logic
    De Lavalette, Gerard R. Renardel
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (06) : 1189 - 1215
  • [26] Fuzzy Horn logic I
    Radim Bělohlávek
    Vilém Vychodil
    Archive for Mathematical Logic, 2006, 45 : 3 - 51
  • [27] Fuzzy Horn logic II
    Bělohlávek R.
    Vychodil V.
    Archive for Mathematical Logic, 2006, 45 (2) : 149 - 177
  • [28] The limits of horn logic programs
    Ma, SL
    Sui, YF
    Xu, K
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 467 - 467
  • [29] EFFICIENT DEDUCTION IN EQUALITY HORN LOGIC BY HORN-COMPLETION
    NIEUWENHUIS, R
    NIVELA, P
    INFORMATION PROCESSING LETTERS, 1991, 39 (01) : 1 - 6
  • [30] UNTYPING TYPED ALGEBRAS AND COLOURING CYCLIC LINEAR LOGIC
    Pous, Damien
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (02)
12345