Danwen Mao

According to our database, Danwen Mao authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Formalization of Linear Space Theory in the Higher-Order Logic Proving System.

Jie Zhang, Danwen Mao, Yong Guan

J. Appl. Math., 2013