Semantics for evaluation logic

被引：0
|
作者：
Moggi, E.
机构：
来源：
Fundamenta Informaticae | 1995年 / 22卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] THE RELATIONSHIP BETWEEN LOGIC AND SEMANTICS
    KATTEIN, R
    SPRACHWISSENSCHAFT, 1983, 8 (01): : 1 - 15
  • [32] Relating Semantics for Epistemic Logic
    Giordani, Alessandro
    LOGIC AND LOGICAL PHILOSOPHY, 2021, 30 (04) : 681 - 709
  • [33] The rewriting logic semantics project
    Meseguer, Jose
    Rosu, Grigore
    THEORETICAL COMPUTER SCIENCE, 2007, 373 (03) : 213 - 237
  • [34] A denotational semantics of defeasible logic
    Maher, MJ
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
  • [35] A semantics for concurrent separation logic
    Brookes, S
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 16 - 34
  • [36] A COMPOSITIONAL SEMANTICS FOR LOGIC PROGRAMS
    BOSSI, A
    GABBRIELLI, M
    LEVI, G
    MEO, MC
    THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 3 - 47
  • [37] BIALGEBRAIC SEMANTICS FOR LOGIC PROGRAMMING
    Bonchi, Filippo
    Zanasi, Fabio
    LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (01)
  • [38] A semantics for concurrent separation logic
    Brookes, Stephen
    THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 227 - 270
  • [39] TIGHT SEMANTICS FOR LOGIC PROGRAMS
    Pereira, Luis Moniz
    Pinto, Alexandre Miguel
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 134 - 143
  • [40] Probability semantics for quantifier logic
    Hailperin, T
    JOURNAL OF PHILOSOPHICAL LOGIC, 2000, 29 (02) : 207 - 239
12345