LOGIC, SEMANTICS AND THEORY OF PROGRAMMING - PREFACE

被引：0
|
作者：
DEZANICIANCAGLINI, M
DELLAROCCA, SR
VENTURINIZILLI, M
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1993年 / 121卷 / 1-2期
关键词：
D O I：
10.1016/0304-3975(93)90080-D
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：R11 / R12
页数：2
相关论文
共 50 条
  • [21] CLOSURES AND FAIRNESS IN THE SEMANTICS OF PROGRAMMING LOGIC
    LASSEZ, JL
    MAHER, MJ
    THEORETICAL COMPUTER SCIENCE, 1984, 29 (1-2) : 167 - 184
  • [22] COALGEBRAIC SEMANTICS FOR PROBABILISTIC LOGIC PROGRAMMING
    Gu, Tao
    Zanasi, Fabio
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (02) : 2:1 - 2:35
  • [23] Fixpoint semantics for logic programming a survey
    Fitting, M
    THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 25 - 51
  • [24] Semantics and types in functional logic programming
    González-Moreno, JC
    Hortalá-González, MT
    Rodríguez-Artalejo, M
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 1 - 20
  • [25] SEMANTICS OF NONMONOTONIC REASONING IN LOGIC PROGRAMMING
    HERRE, H
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 619 : 104 - 124
  • [26] A game semantics for disjunctive logic programming
    Tsouanas, Thanos
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (11) : 1144 - 1175
  • [27] On greatest fixpoint semantics of logic programming
    Jaume, M
    JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (02) : 321 - 342
  • [28] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
    VANEMDEN, MH
    KOWALSKI, RA
    JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742
  • [29] A Kripkean semantics for dynamic logic programming
    Sefránek, J
    LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 469 - 486
  • [30] Theoretical foundations and semantics of logic programming
    Bossi A.
    Meo M.C.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 15 - 36
12345