Propositional Dynamic Logics of Programs: A Survey

Thumbnail Image
Download
Name

MIT-LCS-TM-191.pdf

Size

12.62 MB

Format

Adobe PDF

Checksum (MD5)

be83ae96b2034cd3633c404564f203a4

Author(s)
Parikh, Rohit
Date Issued
January 1981
Series/Report no.
MIT-LCS-TM-191
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.