Peter Schneider-Kamp
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 298118
Dissertation: Static Termination Analysis for Prolog using Term Rewriting and SAT Solving
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Jürgen GieslTechnische Universität Darmstadt · 1992
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Jonas Herskind Sejr | University of Southern Denmark | 2022 | 0 |
| Rui Zhang | University of Southern Denmark | 2022 | 0 |