(Q102339640)

English

Walter Guttmann

Dr. rer. nat. habil. Universität Ulm 2015

In more languages

edit

Statements

0 references

0 references

0 references

0 references

0 references

University of Canterbury

6 July 2012

1 reference

ORCID Public Data File 2023

filename in archive

0000-0003-2969-1688.xml

reference URL

https://pub.orcid.org/v3.0/0000-0003-2969-1688/employment/5419928

6 January 2022

10 November 2023

April 2011

June 2012

1 reference

stated in

ORCID Public Data File 2023

filename in archive

0000-0003-2969-1688.xml

reference URL

https://pub.orcid.org/v3.0/0000-0003-2969-1688/employment/1461265

last update

21 September 2016

retrieved

10 November 2023

University of Sheffield

April 2010

March 2011

1 reference

ORCID Public Data File 2023

filename in archive

0000-0003-2969-1688.xml

reference URL

https://pub.orcid.org/v3.0/0000-0003-2969-1688/employment/1461261

11 January 2016

10 November 2023

January 2002

March 2010

1 reference

stated in

ORCID Public Data File 2023

filename in archive

0000-0003-2969-1688.xml

reference URL

https://pub.orcid.org/v3.0/0000-0003-2969-1688/employment/1461258

21 September 2016

10 November 2023

1 reference

Mathematics Genealogy Project

University of Canterbury

1 reference

stated in

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

academic thesis

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

0 references

1 reference

Mathematics Genealogy Project

Gunther Schmidt

1 reference

stated in

Mathematics Genealogy Project

on focus list of Wikimedia project

NZThesisProject

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

DBLP author ID

g/WalterGuttmann

0 references

Mathematics Genealogy Project ID

0 references

0 references

0 references

0 references

(Q102339640)

Walter Guttmann

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)