DSpace@MIT
View Item
DSpace@MIT Home
Computer Science and Artificial Intelligence Lab (CSAIL)
LCS Publications
LCS Technical Memos (1974 - 2003)
View Item
DSpace@MIT Home
Computer Science and Artificial Intelligence Lab (CSAIL)
LCS Publications
LCS Technical Memos (1974 - 2003)
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Toggle navigation
Propositional Dynamic Logics of Programs: A Survey
Author(s)
Parikh, Rohit
Download
MIT-LCS-TM-191.pdf (12.62Mb)
Metadata
Show full item record
Date issued
1981-01
URI
https://hdl.handle.net/1721.1/149002
Series/Report no.
MIT-LCS-TM-191
Collections
LCS Technical Memos (1974 - 2003)
Search DSpace
This Collection
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Statistics
OA Statistics
Statistics by Country
Statistics by Department