Alessio Guglielmi

According to our database, Alessio Guglielmi authored at least 24 papers between 1993 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Subatomic Proof System for Decision Trees.

Chris Barrett, Alessio Guglielmi

ACM Trans. Comput. Log., 2022

2018

Subatomic Proof Systems: Splittable Systems.

Andrea Aler Tubella, Alessio Guglielmi

ACM Trans. Comput. Log., 2018

2017

Removing Cycles from Proofs.

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae

Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot

Log. Methods Comput. Sci., 2016

2014

A Logical Basis for Quantum Evolution and Entanglement.

Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2011

A system of interaction and structure IV: The exponentials and decomposition.

Lutz Straßburger, Alessio Guglielmi

ACM Trans. Comput. Log., 2011

A system of interaction and structure V: the exponentials and splitting.

Alessio Guglielmi, Lutz Straßburger

Math. Struct. Comput. Sci., 2011

2010

A Proof Calculus Which Reduces Syntactic Bureaucracy.

Alessio Guglielmi, Tom Gundersen, Michel Parigot

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae.

Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Breaking Paths in Atomic Flows for Classical Logic.

Alessio Guglielmi, Tom Gundersen, Lutz Straßburger

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

On the proof complexity of deep inference.

Paola Bruscoli, Alessio Guglielmi

ACM Trans. Comput. Log., 2009

Personal portrait of Giorgio Levi.

Alessio Guglielmi

Theor. Comput. Sci., 2009

2008

Normalisation Control in Deep Inference via Atomic Flows.

Alessio Guglielmi, Tom Gundersen

Log. Methods Comput. Sci., 2008

2007

A system of interaction and structure.

Alessio Guglielmi

ACM Trans. Comput. Log., 2007

2006

On structuring proof search for first order linear logic.

Paola Bruscoli, Alessio Guglielmi

Theor. Comput. Sci., 2006

2003

A Tutorial on Proof Theoretic Foundations of Logic Programming.

Paola Bruscoli, Alessio Guglielmi

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

A Non-commutative Extension of MELL.

Alessio Guglielmi, Lutz Straßburger

Proceedings of the Logic for Programming, 2002

2001

Non-commutativity and MELL in the Calculus of Structures.

Alessio Guglielmi, Lutz Straßburger

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

1995

Sequentiality by Linear Implication and Universal Quantification.

Alessio Guglielmi

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

A Linear Logic Programming Language with Parallel and Sequential Conjunction.

Paola Bruscoli, Alessio Guglielmi

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator.

Alessio Guglielmi

Proceedings of the Logic Programming, 1994

Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.

Paola Bruscoli, Alessio Guglielmi

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Chemical Logic Programming?

Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi

Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993

Chemical Logic Programming?

Alessio Guglielmi, Giorgio Levi

Proceedings of the 8th Italian Conference on Logic Programming, 1993