Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations
(Q112576341)
2015 doctoral thesis by Walter Guttmann at University of Canterbury
2015 doctoral thesis by Walter Guttmann at University of Canterbury
Language:
Current Data About
Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations
(P31) |
(Q187685)
|
||
(P50) |
(Q102339640)
|
||
(P123) |
(Q111174485)
|
||
(P407) |
(Q1860)
|
||
(P495) |
(Q664)
|
||
(P577) |
+2015-00-00T00:00:00Z
|
||
(P953) |
https://ir.canterbury.ac.nz/handle/10092/14735
|
||
(P1476) |
"Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations" (language: en)
|
||
(P3931) |
(Q102339640)
|
||
(P4101) |
(Q432475)
|
||
(P5008) |
(Q111645234)
|
||
(P6216) |
(Q50423863)
|
||
(P6954) |
(Q232932)
|
other details
description | 2015 doctoral thesis by Walter Guttmann at University of Canterbury |
External Links
(P356) |
10.26021/2862
|
(P1184) |
10092/14735
|