Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations

Simple item page
dc.contributor.authorGuttmann, Walter
dc.date.accessioned2017-12-05T02:39:31Z
dc.date.available2017-12-05T02:39:31Z
dc.date.issued2015en
dc.description.abstractThis technical report contains Isabelle/HOL theories that describe algebras for iteration, infinite executions and correctness of sequential computations. The results are explained in a separate document. The following files are available: Technical Report Isabelle/HOL theory filesen
dc.identifier.urihttp://hdl.handle.net/10092/14735
dc.identifier.urihttp://dx.doi.org/10.26021/2862
dc.languageEnglish
dc.language.isoen
dc.publisherUniversity of Canterburyen
dc.rightsAll Right Reserveden
dc.rights.urihttps://canterbury.libguides.com/rights/thesesen
dc.titleIsabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computationsen
dc.typeTheses / Dissertationsen
thesis.degree.grantorUniversity of Canterburyen
thesis.degree.levelDoctoralen
thesis.degree.nameOtheren
uc.collegeFaculty of Engineeringen
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
tr_1502.pdf
Size:
909.98 KB
Format:
Adobe Portable Document Format
Description:
Download
No Thumbnail Available
Name:
tr_1502_theories.zip
Size:
134.45 KB
Format:
Zip file
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Engineering: Theses and Dissertations