Computer Science – Computational Complexity
Scientist
Computer Science
Computational Complexity
Scientist
A System of Interaction and Structure
A System of Interaction and Structure IV: The Exponentials and Decomposition
Consistency Without Cut Elimination
Normalisation Control in Deep Inference via Atomic Flows
On the Proof Complexity of Deep Inference
No associations
LandOfFree
Alessio Guglielmi does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Alessio Guglielmi, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Alessio Guglielmi will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-47879