Statistics
Publications
5
Citations
122
H-Index
5
Active since
2008
Affiliations
Tom Gundersen is an author at University of Bath specializing in deep inference, computing, and computer science.
Publications per year
2008–2013
5
5
Breaking Paths in Atomic Flows for Classical Logic
Alessio Guglielmi, Tom Gundersen, Lutz Straßburger · 2010 · 15 citations · Full text
Humanities, Philosophy, Physics +8
1–5 of 5