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 条
  • [31] Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution
    Wang, Meng
    Tian, Cong
    Zhang, Nan
    Duan, Zhenhua
    IEEE TRANSACTIONS ON RELIABILITY, 2019, 68 (03) : 1101 - 1116
  • [32] Dynamic Fuzzy Logic Parameter Tuning for ACO and Its Application in the Fuzzy Logic Control of an Autonomous Mobile Robot Regular Paper
    Castillo, Oscar
    Neyoy, Hector
    Soria, Jose
    Garcia, Mario
    Valdez, Fevrier
    INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, 2013, 10
  • [33] EXPLORING NON-REGULAR EXTENSIONS OF PROPOSITIONAL DYNAMIC LOGIC WITH DESCRIPTION-LOGICS FEATURES
    Bednarczyk B.
    Logical Methods in Computer Science, 2024, 20 (02): : 7:1 - 7:31
  • [34] From process logic to program logic
    Honda, K
    ACM SIGPLAN NOTICES, 2004, 39 (09) : 163 - 174
  • [35] WELDED PIPELINE SYSTEM COMPLETES LOOPING PROGRAM
    不详
    WELDING JOURNAL, 1973, 52 (09) : 591 - 591
  • [36] EXPRESSING DATABASE QUERIES WITH INTUITIONISTIC LOGIC
    BONNER, AJ
    MCCARTY, LT
    VADAPARTY, K
    LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 831 - 851
  • [37] DNA topology: Dynamic DNA looping
    Travers, Andrew
    CURRENT BIOLOGY, 2006, 16 (19) : R838 - R840
  • [38] Quantum logic as a dynamic logic
    Alexandru Baltag
    Sonja Smets
    Synthese, 2011, 179 : 285 - 306
  • [39] Quantum logic as a dynamic logic
    Baltag, Alexandru
    Smets, Sonja
    SYNTHESE, 2011, 179 (02) : 285 - 306
  • [40] Deriving a stationary dynamic Bayesian network from a logic program with recursive loops
    Shen, YD
    Yang, Q
    INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3625 : 330 - 347
12345