Jinsheng Chen
Original record- Institution
- Vrije Universiteit Amsterdam
- Year
- 2022
- Country
- Netherlands
- MGP identifier
- 292304
Dissertation: Semantically informed methods in structural proof theory
Advisors 4
- Giuseppe GrecoUniversità degli Studi di Siena · 2011
- Apostolos TzimoulisTechnische Universiteit Delft · 2018
- Alessandra PalmigianoUniversidad de Barcelona · 2005
- Hans Pieter van DitmarschRijksuniversiteit Groningen · 2000
Students 0
No students recorded in this snapshot.