(Q112576341)

English

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

2015 doctoral thesis by Walter Guttmann at University of Canterbury

In more languages

edit

Statements

instance of

doctoral thesis

0 references

title

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

0 references

author

Walter Guttmann

object named as

Guttmann, Walter

0 references

publisher

UC Research Repository

0 references

dissertation submitted to

University of Canterbury

object named as

University of Canterbury

0 references

0 references

0 references

language of work or name

English

0 references

publication date

2015

0 references

full work available at URL

https://ir.canterbury.ac.nz/handle/10092/14735

0 references

copyright status

copyrighted

0 references

on focus list of Wikimedia project

NZThesisProject

0 references

online access status

open access

0 references

Identifiers

0 references

0 references

(Q112576341)

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

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)