Statistics
Publications
20
Citations
485
H-Index
13
Active since
2004
Francesco Belardinelli is an author at Imperial College London specializing in computing, computer science, and formal methods.
Publications per year
2004–2023
20
20
Algebraic Aspects of Cut Elimination
Francesco Belardinelli, Peter Jipsen, Hiroakira Ono · Studia Logica · 2004 · 52 citations · Full text
1–5 of 20