Propositional Dynamic Logics of Programs: A Survey
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