DETERMINISTIC DYNAMIC LOGIC OF RECURSIVE-PROGRAMS IS WEAKER THAN DYNAMIC LOGIC

被引：0

|

作者：

BERMAN, P

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 158卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：14 / 25

页数：12

相关论文

共 50 条

[1] DETERMINISTIC DYNAMIC LOGIC IS STRICTLY WEAKER THAN DYNAMIC LOGIC
STOLBOUSHKIN, AP
TAITSLIN, MA
[J]. INFORMATION AND CONTROL, 1983, 57 (01): : 48 - 55
[2] DETERMINISTIC CONTEXT-FREE DYNAMIC LOGIC IS MORE EXPRESSIVE THAN DETERMINISTIC DYNAMIC LOGIC OF REGULAR PROGRAMS
URZYCZYN, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 496 - 504
[3] Propositional dynamic logic with recursive programs
Löding, C
Serre, O
[J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 292 - 306
[4] Propositional dynamic logic with recursive programs
Loeding, Christof
Lutz, Carsten
Serre, Olivier
[J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 51 - 69
[5] RECURSIVE-PROGRAMS AS DEFINITIONS IN 1ST ORDER LOGIC
CARTWRIGHT, R
[J]. SIAM JOURNAL ON COMPUTING, 1984, 13 (02) : 374 - 408
[6] A Navigation Logic for Recursive Programs with Dynamic Thread Creation
Lakenbrink, Roman
Mueller-Olm, Markus
Ohrem, Christoph
Gutsfeld, Jens
[J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2024, PT II, 2024, 14500 : 48 - 70
[7] NECESSARY AND SUFFICIENT CONDITIONS TO LINEARIZE DOUBLY RECURSIVE-PROGRAMS IN LOGIC DATABASES
ZHANG, WN
YU, CT
TROY, D
[J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1990, 15 (03): : 459 - 482
[8] THE PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAMS
HALPERN, JY
REIF, JH
[J]. THEORETICAL COMPUTER SCIENCE, 1983, 27 (1-2) : 127 - 165
[9] PROPOSITIONAL DYNAMIC LOGIC IS WEAKER WITHOUT TESTS
BERMAN, F
PATERSON, M
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 16 (03) : 321 - 328
[10] A PROPOSITIONAL LOGIC OF BOOLEAN RECURSIVE-PROGRAMS IN WHICH PREDICATE VARIABLES APPEAR IN CONDITIONS
RASTSVETAEV, AL
[J]. MATHEMATICAL NOTES, 1990, 48 (3-4) : 958 - 964

← 1 2 3 4 5 →