EXPRESSING PROGRAM LOOPING IN REGULAR DYNAMIC LOGIC

被引：12
|
作者：
MEYER, AR [1 ]
WINKLMANN, K [1 ]
机构：
[1] WASHINGTON STATE UNIV,DEPT COMP SCI,PULLMAN,WA 99164
来源：
THEORETICAL COMPUTER SCIENCE | 1982年 / 18卷 / 03期
关键词：
D O I：
10.1016/0304-3975(82)90071-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：301 / 323
页数：23
相关论文
共 50 条
  • [41] DIALOGUE LOGIC AS DYNAMIC LOGIC
    Girle, Roderic
    LOGIQUE ET ANALYSE, 2016, (236) : 427 - 443
  • [42] Greening the electricity industry: the dynamic logic of the Green-e certification program
    porporate Environ Strategy, 1 (24-26):
  • [43] Regular Linear Temporal Logic with Past
    Sanchez, Cesar
    Leucker, Martin
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2010, 5944 : 295 - +
  • [44] CONNEXIVE EXTENSIONS OF REGULAR CONDITIONAL LOGIC
    Weiss, Yale
    LOGIC AND LOGICAL PHILOSOPHY, 2019, 28 (03) : 611 - 627
  • [45] CLASSIFYING REGULAR EVENTS IN SYMBOLIC LOGIC
    THOMAS, W
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (03) : 360 - 376
  • [46] MaxSAT resolution for regular propositional logic
    Coll, Jordi
    Li, Chu-Min
    Manya, Felip
    Yangin, Elifnaz
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 162
  • [47] A regular type analysis of logic programs
    Lu, LJ
    Cleary, JG
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 613 - 613
  • [48] REGULAR PATH EXPRESSIONS IN FEATURE LOGIC
    BACKOFEN, R
    JOURNAL OF SYMBOLIC COMPUTATION, 1994, 17 (05) : 421 - 455
  • [49] Logic vs Topology on Regular ω-languages
    Orekhovskii, Vladislav
    Selivanov, Victor
    UNITY OF LOGIC AND COMPUTATION, CIE 2023, 2023, 13967 : 141 - 153
  • [50] PROGRAM PARTITION AND LOGIC PROGRAM ANALYSIS
    HAN, JL
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (12) : 959 - 968
12345