Fangmin Song
Original record- Institution
- Nanjing University
- Year
- 1988
- Country
- China
- MGP identifier
- 342512
Dissertation: Ⅰ无界非确定性的程序逻辑；Ⅱ程序的等价性证明；Ⅲ关系逻辑
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Shaw-Kwei (Shao Kui) MohInstitution not recorded
Students 0
No students recorded in this snapshot.