Travelled to:1 × Austria
Collaborated with:∅
Talks about:complex (1) analysi (1) elimin (1) refin (1) cut (1)
Person: Philipp Gerhardy
DBLP: Gerhardy:Philipp
Contributed to:
Wrote 1 papers:
- CSL-2003-Gerhardy #analysis #complexity
- Refined Complexity Analysis of Cut Elimination (PG), pp. 212–225.












