Logics of Programs: Axiomatics and Descriptive Power
| dc.contributor.advisor | Pratt, Vaughan R. | en_US |
| dc.contributor.author | Harel, David | en_US |
| dc.date.accessioned | 2023-03-29T15:02:10Z | |
| dc.date.available | 2023-03-29T15:02:10Z | |
| dc.date.issued | 1978-05 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149488 | |
| dc.description.abstract | This thesis is concerned with the development of mathematical tools for reasoning about computer programs. The approach is to design and investigate the properties of various dynamic logics with an emphasis on useful expressive power and adequate proof theory. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-200 | |
| dc.title | Logics of Programs: Axiomatics and Descriptive Power | en_US |
| dc.identifier.oclc | 03964036 |
