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.