Scholar
Alessio Guglielmi
Google Scholar ID: 1fq1YrMAAAAJ
University of Bath
Proof Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
304
H-index
10
i10-index
10
Publications
20
Co-authors
10
list available
Contact
Email
A.Guglielmi@Bath.Ac.UK
GitHub
Open ↗
Publications
1 items
Proof Compression via Subatomic Logic and Guarded Substitutions
2025
Cited
0
Co-authors
3 total
Lutz Straßburger
Inria
Benjamin Ralph
Senior Lecturer in Computer Science, University of Bath
Anupam Das
University of Birmingham
