MORE ON LOOPING VS REPEATING IN DYNAMIC LOGIC

被引：6

|

作者：

HAREL, D

PELEG, D

机构：

来源：

INFORMATION PROCESSING LETTERS | 1985年 / 20卷 / 02期

关键词：

D O I：

10.1016/0020-0190(85)90069-9

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：87 / 90

页数：4

相关论文

共 50 条

[1] LOOPING VS REPEATING IN DYNAMIC LOGIC
HAREL, D
SHERMAN, R
INFORMATION AND CONTROL, 1982, 55 (1-3): : 175 - 192
[2] EXPRESSING PROGRAM LOOPING IN REGULAR DYNAMIC LOGIC
MEYER, AR
WINKLMANN, K
THEORETICAL COMPUTER SCIENCE, 1982, 18 (03) : 301 - 323
[3] SEMANTICS OF LOOPING PROGRAMS IN PROPOSITIONAL DYNAMIC LOGIC
BERMAN, F
MATHEMATICAL SYSTEMS THEORY, 1982, 15 (04): : 285 - 294
[4] PROPOSITIONAL DYNAMIC LOGIC OF LOOPING AND CONVERSE IS ELEMENTARILY DECIDABLE
STREETT, RS
INFORMATION AND CONTROL, 1982, 54 (1-2): : 121 - 141
[5] A MODAL LOGIC FOR CYCLIC REPEATING
VAKARELOV, D
INFORMATION AND COMPUTATION, 1992, 101 (01) : 103 - 122
[6] A decidable temporal logic of repeating values
Demri, Stephane
D'Souza, Deepak
Gascon, Regis
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 180 - +
[7] DETERMINISTIC CONTEXT-FREE DYNAMIC LOGIC IS MORE EXPRESSIVE THAN DETERMINISTIC DYNAMIC LOGIC OF REGULAR PROGRAMS
URZYCZYN, P
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 496 - 504
[8] Quantified propositional temporal logic with repeating states
French, T
TIME-ICTL 2003: 10TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING AND FOURTH INTERNATIONAL CONFERENCE ON TEMPORAL LOGIC, PROCEEDINGS, 2003, : 155 - 165
[9] Knowingly repeating an incorrect and inefficient analysis is flawed logic
Collins, Gary S.
Le Manach, Yannick
EUROPEAN JOURNAL OF CARDIO-THORACIC SURGERY, 2016, 49 (01) : 357 - 358
[10] HIPPOCAMPAL FUNCTION - LOGIC, LOGIC, AND MORE LOGIC
HIRSH, R
KRAJDEN, J
BEHAVIORAL AND BRAIN SCIENCES, 1979, 2 (04) : 504 - 505

← 1 2 3 4 5 →