ON THE SEMANTICS AND LOGIC OF COMPUTATIONAL PROBLEMS

被引：0
|
作者：
KANOVICH, MI
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1989年 / 305卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：778 / 782
页数：5
相关论文
共 50 条
  • [21] ON SEMANTICS WITHOUT LOGIC
    VERKUYL, HJ
    LINGUA, 1986, 68 (01) : 59 - 90
  • [22] Semantics for the logic of essence
    Fine, K
    JOURNAL OF PHILOSOPHICAL LOGIC, 2000, 29 (06) : 543 - 584
  • [23] Semantics for evaluation logic
    Moggi, E.
    Fundamenta Informaticae, 1995, 22 (1-2)
  • [24] On the semantics of Strategy Logic
    Bouyer, Patricia
    Gardy, Patrick
    Markey, Nicolas
    INFORMATION PROCESSING LETTERS, 2016, 116 (02) : 75 - 79
  • [25] A semantics for Fuzzy Logic
    J. B. Paris
    Soft Computing, 1997, 1 (3) : 143 - 147
  • [26] Logic and Semantics for Imperatives
    Charlow, Nate
    JOURNAL OF PHILOSOPHICAL LOGIC, 2014, 43 (04) : 617 - 664
  • [27] A logic for probabilities in semantics
    Moshier, MA
    Jung, A
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 216 - 231
  • [28] A Semantics for Active Logic
    Asker, Mikael
    Malec, Jacek
    ECAI 2006, PROCEEDINGS, 2006, 141 : 739 - 740
  • [29] Founded Semantics and Constraint Semantics of Logic Rules
    Liu, Yanhong A.
    Stoller, Scott D.
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018), 2018, 10703 : 221 - 241
  • [30] Founded semantics and constraint semantics of logic rules
    Liu, Yanhong A.
    Stoller, Scott D.
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (08) : 1609 - 1638
12345