Lutz Plümer

MathSciNet


Dr. rer. nat. Universität Dortmund 1989 Germany
Dissertation: Termination Proofs for Logic Programs

Advisor: Armin Bernd Cremers

Student:

NameSchoolYearDescendants
Loch-Dehbi, SandraRheinische Friedrich-Wilhelms-Universität Bonn2020

According to our current on-line database, Lutz Plümer 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 100188 for the advisor ID.