AN INTRODUCTION TO SPECIFICATION LOGIC

被引：0
|
作者：
REYNOLDS, JC
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 164卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：442 / 442
页数：1
相关论文
共 50 条
  • [31] PROCESS SEMANTICS OF TEMPORAL LOGIC SPECIFICATION
    FIADEIRO, JL
    COSTA, JF
    SERNADAS, A
    MAIBAUM, TSE
    LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 236 - 253
  • [32] SLAP: Specification logic of actions with probability
    Rens, Gavin
    Meyer, Thomas
    Lakemeyer, Gerhard
    JOURNAL OF APPLIED LOGIC, 2014, 12 (02) : 128 - 150
  • [33] Temporal logic for process specification and recognition
    Kreutzmann, Arne
    Colonius, Immo
    Wolter, Diedrich
    Dylla, Frank
    Frommberger, Lutz
    Freksa, Christian
    INTELLIGENT SERVICE ROBOTICS, 2013, 6 (01) : 5 - 18
  • [34] Application of Temporal Logic to Program Specification
    Valiev, M. K.
    Programming and Computer Software (English Translation of Programmirovanie), 24 (02):
  • [35] Maude:: Specification and programming in rewriting logic
    Clavel, M
    Durán, F
    Eker, S
    Lincoln, P
    Martí-Oliet, N
    Meseguer, J
    Quesada, JF
    THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 187 - 243
  • [36] HARDWARE SPECIFICATION WITH TEMPORAL LOGIC - AN EXAMPLE
    BOCHMANN, GV
    IEEE TRANSACTIONS ON COMPUTERS, 1982, 31 (03) : 223 - 231
  • [37] Introduction to logic
    Anglberger, Albert J. J.
    GRAZER PHILOSOPHISCHE STUDIEN, 2010, 80 (01) : 323 - 327
  • [38] INTRODUCTION TO LOGIC
    Fuhrmann, Andre
    DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 2012, 60 (01): : 135 - 144
  • [39] Introduction to Logic
    Ferrucci, Anthony
    TEACHING PHILOSOPHY, 2015, 38 (03) : 307 - 319
  • [40] Introduction to Logic
    Warren, Dona
    TEACHING PHILOSOPHY, 2019, 42 (04) : 439 - 441
12345