On the Expressive Power of Dynamic Logic, II
dc.contributor.author | Halpern, Joseph Y. | en_US |
dc.date.accessioned | 2023-03-29T14:19:52Z | |
dc.date.available | 2023-03-29T14:19:52Z | |
dc.date.issued | 1981-08 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149015 | |
dc.relation.ispartofseries | MIT-LCS-TM-204 | |
dc.title | On the Expressive Power of Dynamic Logic, II | en_US |
dc.identifier.oclc | 9157742 |