Propositional Dynamic Logics of Programs: A Survey
dc.contributor.author | Parikh, Rohit | en_US |
dc.date.accessioned | 2023-03-29T14:18:21Z | |
dc.date.available | 2023-03-29T14:18:21Z | |
dc.date.issued | 1981-01 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149002 | |
dc.relation.ispartofseries | MIT-LCS-TM-191 | |
dc.title | Propositional Dynamic Logics of Programs: A Survey | en_US |
dc.identifier.oclc | 7918124 |