Claus-Peter Wirth

MathSciNet


Dr. rer. nat. Universität Kaiserslautern 1997 Germany
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.