Show simple item record

Propositional Dynamic Logics of Programs: A Survey

dc.contributor.authorParikh, Rohiten_US
dc.date.accessioned2023-03-29T14:18:21Z
dc.date.available2023-03-29T14:18:21Z
dc.date.issued1981-01
dc.identifier.urihttps://hdl.handle.net/1721.1/149002
dc.relation.ispartofseriesMIT-LCS-TM-191
dc.titlePropositional Dynamic Logics of Programs: A Surveyen_US
dc.identifier.oclc7918124


Files in this item

Thumbnail
Name:
MIT-LCS-TM-191.pdf
Size:
12.62Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record