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
Language:
Current Data About Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations
(P31) (Q187685)

(P50) (Q102339640)
(P1932) Guttmann, Walter

(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)
(P1932) University of Canterbury

(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