Automated program transformation through proof transformation
dc.contributor.author
Madden, Peter
en
dc.date.accessioned
2017-02-14T11:36:38Z
dc.date.available
2017-02-14T11:36:38Z
dc.date.issued
1991
dc.description.abstract
en
dc.identifier.uri
http://hdl.handle.net/1842/19973
dc.publisher
The University of Edinburgh
en
dc.relation.ispartof
Annexe Thesis Digitisation Project 2016 Block 7
en
dc.relation.isreferencedby
Already catalogued
en
dc.title
Automated program transformation through proof transformation
en
dc.type
Thesis or Dissertation
en
dc.type.qualificationlevel
Doctoral
en
dc.type.qualificationname
PhD Doctor of Philosophy
en
Files
Original bundle
1 - 1 of 1
- Name:
- MaddenP_1991redux.pdf
- Size:
- 48.37 MB
- Format:
- Adobe Portable Document Format
This item appears in the following Collection(s)