Bernd-Holger Schlingloff
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 228383
Dissertation: Zur temporalen Logik von Bäumen
Mathematics Subject Classification: 68—Computer science
Advisors 3
- Manfred PaulInstitution not recorded
- Bernd Krieg-BrücknerInstitution not recorded
- Fred KrögerInstitution not recorded
Students 0
No students recorded in this snapshot.