Fangmin Song
Ph.D. Nanjing University 1988
Dissertation:
Ⅰ无界非确定性的程序逻辑；Ⅱ程序的等价性证明；Ⅲ关系逻辑
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Shaw-Kwei Moh
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 342512 for the advisor ID.