More on looping vs. repeating in dynamic logic

David Harel; David Peleg

doi:10.1016/0020-0190(85)90069-9

More on looping vs. repeating in dynamic logic

David Harel
, David Peleg

Weizmann Institute of Science

Research output: Contribution to journal › Article › peer-review

7 Scopus citations

Original language	English
Pages (from-to)	87-90
Number of pages	4
Journal	Information Processing Letters
Volume	20
Issue number	2
DOIs	https://doi.org/10.1016/0020-0190(85)90069-9
State	Published - 15 Feb 1985
Externally published	Yes

Keywords

Dynamic logic
high undecidability
infinite computations
program verification

Access to Document

10.1016/0020-0190(85)90069-9

Cite this

@article{3a03245933b044bfb238d00fa0cdae53,

title = "More on looping vs. repeating in dynamic logic",

keywords = "Dynamic logic, high undecidability, infinite computations, program verification",

author = "David Harel and David Peleg",

year = "1985",

month = feb,

day = "15",

doi = "10.1016/0020-0190(85)90069-9",

language = "אנגלית",

volume = "20",

pages = "87--90",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - More on looping vs. repeating in dynamic logic

AU - Harel, David

AU - Peleg, David

PY - 1985/2/15

Y1 - 1985/2/15

KW - Dynamic logic

KW - high undecidability

KW - infinite computations

KW - program verification

UR - https://www.scopus.com/pages/publications/0022011209

U2 - 10.1016/0020-0190(85)90069-9

DO - 10.1016/0020-0190(85)90069-9

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0022011209

SN - 0020-0190

VL - 20

SP - 87

EP - 90

JO - Information Processing Letters

JF - Information Processing Letters

IS - 2

ER -

More on looping vs. repeating in dynamic logic

Keywords

Access to Document

Other files and links

Cite this