Alessio Guglielmi

35 papers A* 2B 7Journal 18Unranked 8
YearRankTypeTitle / Venue / Authors
2025 B conf
A Strictly Linear Subatomic Proof System.
CSL
Victoria Barrett, Alessio Guglielmi, Benjamin Ralph
2025 A* conf
Proof Compression via Subatomic Logic and Guarded Substitutions.
LICS
Victoria Barrett, Alessio Guglielmi, Benjamin Ralph, Lutz Straßburger
2025 J jnl
Proof Compression via Subatomic Logic and Guarded Substitutions.
CoRR
Victoria Barrett, Alessio Guglielmi, Benjamin Ralph, Lutz Straßburger
2022 J jnl
A Subatomic Proof System for Decision Trees.
ACM Trans. Comput. Log.
Chris Barrett, Alessio Guglielmi
2021 J jnl
A Subatomic Proof System for Decision Trees.
CoRR
Chris Barrett, Alessio Guglielmi
2018 J jnl
Subatomic Proof Systems: Splittable Systems.
ACM Trans. Comput. Log.
Andrea Aler Tubella, Alessio Guglielmi
2017 B conf
Removing Cycles from Proofs.
CSL
Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph
2017 J jnl
Subatomic Proof Systems: Splittable Systems.
CoRR
Andrea Aler Tubella, Alessio Guglielmi
2016 J jnl
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Log. Methods Comput. Sci.
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
2014 — conf
A Logical Basis for Quantum Evolution and Entanglement.
Categories and Types in Logic, Language, and Physics
Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
2011 J jnl
A system of interaction and structure IV: The exponentials and decomposition.
ACM Trans. Comput. Log.
Lutz Straßburger, Alessio Guglielmi
2011 J jnl
A system of interaction and structure V: the exponentials and splitting.
Math. Struct. Comput. Sci.
Alessio Guglielmi, Lutz Straßburger
2010 — conf
A Proof Calculus Which Reduces Syntactic Bureaucracy.
RTA
Alessio Guglielmi, Tom Gundersen, Michel Parigot
2010 — conf
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae.
LPAR (Dakar)
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
2010 A* conf
Breaking Paths in Atomic Flows for Classical Logic.
LICS
Alessio Guglielmi, Tom Gundersen, Lutz Straßburger
2009 J jnl
A System of Interaction and Structure IV: The Exponentials and Decomposition
CoRR
Lutz Straßburger, Alessio Guglielmi
2009 J jnl
On the proof complexity of deep inference.
ACM Trans. Comput. Log.
Paola Bruscoli, Alessio Guglielmi
2009 J jnl
Personal portrait of Giorgio Levi.
Theor. Comput. Sci.
Alessio Guglielmi
2008 J jnl
Normalisation Control in Deep Inference via Atomic Flows.
Log. Methods Comput. Sci.
Alessio Guglielmi, Tom Gundersen
2007 J jnl
A system of interaction and structure.
ACM Trans. Comput. Log.
Alessio Guglielmi
2007 J jnl
Normalisation Control in Deep Inference Via Atomic Flows
CoRR
Alessio Guglielmi, Tom Gundersen
2007 J jnl
On the Proof Complexity of Deep Inference
CoRR
Paola Bruscoli, Alessio Guglielmi
2006 J jnl
On structuring proof search for first order linear logic.
Theor. Comput. Sci.
Paola Bruscoli, Alessio Guglielmi
2003 B conf
A Tutorial on Proof Theoretic Foundations of Logic Programming.
ICLP
Paola Bruscoli, Alessio Guglielmi
2003 J jnl
On Structuring Proof Search for First Order Linear Logic
CoRR
Paola Bruscoli, Alessio Guglielmi
2003 B conf
On Structuring Proof Search for First Order Linear Logic.
LPAR
Paola Bruscoli, Alessio Guglielmi
2002 B conf
A Non-commutative Extension of MELL.
LPAR
Alessio Guglielmi, Lutz Straßburger
2001 B conf
Non-commutativity and MELL in the Calculus of Structures.
CSL
Alessio Guglielmi, Lutz Straßburger
1999 J jnl
A System of Interaction and Structure
CoRR
Alessio Guglielmi
1995 — conf
A Linear Logic Programming Language with Parallel and Sequential Conjunction.
GULP-PRODE
Paola Bruscoli, Alessio Guglielmi
1995 — conf
Sequentiality by Linear Implication and Universal Quantification.
STRICT
Alessio Guglielmi
1994 B conf
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator.
ICLP
Alessio Guglielmi
1994 — conf
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.
GULP-PRODE (2)
Paola Bruscoli, Alessio Guglielmi
1993 — conf
Chemical Logic Programming?
GULP
Alessio Guglielmi, Giorgio Levi
1993 — conf
Chemical Logic Programming?
ICLP Workshop on Blackboard-Based Logic Programming
Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi