Janett Mohnke
Ph.D. Martin-Luther-Universität Halle-Wittenberg 1999
Dissertation:
A Signature Based Approach to Formal Logic Verification
Advisor: Paul Louis Molitor
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 63369 for the advisor ID.