Peter Padawitz


Dr.-Ing. Technische Universität Berlin 1983 Germany
Dissertation: Correctness, Completeness, and Consistency of Equational Data Type Specifications
Mathematics Subject Classification: 68—Computer science

Advisor 1: Hartmut Ehrig


Lajios, GeorgiosUniversität Dortmund2005

According to our current on-line database, Peter Padawitz has 1 student and 1 descendant.
We welcome any additional information.

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 204958 for the advisor ID.