The following pages link to Alessio Guglielmi (Q1035694):
Displayed 21 items.
- Personal portrait of Giorgio Levi (Q1035695) (← links)
- On structuring proof search for first order linear logic (Q2503319) (← links)
- On the proof complexity of deep inference (Q2946572) (← links)
- A system of interaction and structure IV (Q2946642) (← links)
- A system of interaction and structure V: the exponentials and splitting (Q3008232) (← links)
- A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae (Q3066096) (← links)
- (Q3367318) (← links)
- (Q3408152) (← links)
- Normalisation Control in Deep Inference via Atomic Flows (Q3518275) (← links)
- (Q4428303) (← links)
- Subatomic Proof Systems (Q4608728) (← links)
- (Q4783301) (← links)
- A Subatomic Proof System for Decision Trees (Q5056373) (← links)
- (Q5111176) (← links)
- Logic Programming (Q5191475) (← links)
- (Q5219930) (← links)
- A system of interaction and structure (Q5277766) (← links)
- A Proof Calculus Which Reduces Syntactic Bureaucracy (Q5389140) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae (Q5739889) (← links)
- Consistency Without Cut Elimination (Q6472227) (← links)