Bozhi Zhu

According to our database, Bozhi Zhu authored at least 1 paper in 2008.

Collaborative distances:

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

2008

Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof.

Christian Urban, Bozhi Zhu

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008