Travelled to:
1 × Austria
Collaborated with:
C.Urban
Talks about:
proof (2) difficult (1) revisit (1) realli (1) elimin (1) one (1) cut (1)
Person: Bozhi Zhu
DBLP: Zhu:Bozhi
Contributed to:
Wrote 1 papers:
- RTA-2008-UrbanZ #proving
- Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof (CU, BZ), pp. 409–424.