Walter Guttmann
Dr. rer. nat. Universität Ulm 2007
Dissertation:
Algebraic Foundations of the Unifying Theories of Programming
Mathematics Subject Classification: 68—Computer science
Advisor: Helmuth Partsch
Dr. rer. nat. habil. Universität Ulm 2015
Dissertation:
Algebras for Iteration, Ininite Executions and Correctness of Sequential Computations
Mathematics Subject Classification: 68—Computer science
Advisor 1: Helmuth Partsch
Advisor 2: Gunther Schmidt
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 124670 for the advisor ID.