MORE ON LOOPING VS REPEATING IN DYNAMIC LOGIC

Journal article

Peer reviewed

Information Processing Letters, Vol.20(2), pp.87-90

1985

Files and links (2)

url

https://doi.org/10.1016/0020-0190(85)90069-9View

Published (Version of record) Restricted

url

https://ezproxy.weizmann.ac.il/login?url=http://dx.doi.org/10.1016/0020-0190(85)90069-9View

Published (Version of record) Restricted

Title: MORE ON LOOPING VS REPEATING IN DYNAMIC LOGIC
Creators: David Harel (null) - 972WIS_INST___83
David Peleg (null) - 972WIS_INST___83
Resource Type: Journal article
Publication Details: Information Processing Letters, Vol.20(2), pp.87-90; 1985
Number of pages: 4
Language: English
DOI: https://doi.org/10.1016/0020-0190(85)90069-9
Record Identifier: 993266191903596

5 Record Views