| _version_ |
1826189137104863232
|
| author |
Parikh, Rohit
|
| author_facet |
Parikh, Rohit
|
| author_sort |
Parikh, Rohit
|
| collection |
MIT
|
| first_indexed |
2024-09-23T08:10:06Z
|
| id |
mit-1721.1/149002
|
| institution |
Massachusetts Institute of Technology
|
| last_indexed |
2024-09-23T08:10:06Z
|
| publishDate |
2023
|
| record_format |
dspace
|
| spelling |
mit-1721.1/1490022023-03-30T04:23:38Z Propositional Dynamic Logics of Programs: A Survey Parikh, Rohit 2023-03-29T14:18:21Z 2023-03-29T14:18:21Z 1981-01 https://hdl.handle.net/1721.1/149002 7918124 MIT-LCS-TM-191 application/pdf
|
| spellingShingle |
Parikh, Rohit
Propositional Dynamic Logics of Programs: A Survey
|
| title |
Propositional Dynamic Logics of Programs: A Survey
|
| title_full |
Propositional Dynamic Logics of Programs: A Survey
|
| title_fullStr |
Propositional Dynamic Logics of Programs: A Survey
|
| title_full_unstemmed |
Propositional Dynamic Logics of Programs: A Survey
|
| title_short |
Propositional Dynamic Logics of Programs: A Survey
|
| title_sort |
propositional dynamic logics of programs a survey
|
| url |
https://hdl.handle.net/1721.1/149002
|
| work_keys_str_mv |
AT parikhrohit propositionaldynamiclogicsofprogramsasurvey
|