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 条
  • [41] SEMANTICS FOR MINIMAL LOGIC AND APPLICATIONS
    GABBAY, D
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 321 - &
  • [42] On the semantics of logic program composition
    Brogi, A
    PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 115 - 151
  • [43] A Semantics for the Impure Logic of Ground
    DeRosset, Louis
    Fine, Kit
    JOURNAL OF PHILOSOPHICAL LOGIC, 2023, 52 (02) : 415 - 493
  • [44] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    Journal of Artificial Intelligence Research, 1600, 30 : 501 - 523
  • [45] SCHMILL AND SEMANTICS OF DEONTIC LOGIC
    RODRIGUEZTIRADO, A
    CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 1976, 8 (23): : 99 - 103
  • [46] THE RELATIONSHIP BETWEEN LOGIC AND SEMANTICS
    KATTEIN, R
    SPRACHWISSENSCHAFT, 1983, 8 (01): : 1 - 15
  • [47] Relating Semantics for Epistemic Logic
    Giordani, Alessandro
    LOGIC AND LOGICAL PHILOSOPHY, 2021, 30 (04) : 681 - 709
  • [48] The rewriting logic semantics project
    Meseguer, Jose
    Rosu, Grigore
    THEORETICAL COMPUTER SCIENCE, 2007, 373 (03) : 213 - 237
  • [49] A denotational semantics of defeasible logic
    Maher, MJ
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
  • [50] A semantics for concurrent separation logic
    Brookes, S
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 16 - 34
12345