Claus-Peter Wirth
Dr. rer. nat. Universität Kaiserslautern 1997
Dissertation:
Positive/Negative-Conditional Equations: A Constructor-Based Framework for
Specification and Inductive Theorem Proving. PhD thesis, ISBN 3-86064-551-X, Verlag
Dr. Kovac, Hamburg, 1997.
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Klaus Erwin Madlener
Advisor 2: Jürgen Avenhaus
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 179284 for the advisor ID.