Alessio Guglielmi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2025

A Strictly Linear Subatomic Proof SystemVictoria Barrett, Alessio Guglielmi, Benjamin Ralph. csl 2025: [doi]

2022

A Subatomic Proof System for Decision TreesChris Barrett, Alessio Guglielmi. tocl, 23(4), 2022. [doi]

2018

Subatomic Proof Systems: Splittable SystemsAndrea Aler Tubella, Alessio Guglielmi. tocl, 19(1), 2018. [doi]

2017

Removing Cycles from ProofsAndrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph. csl 2017: [doi]

2014

A Logical Basis for Quantum Evolution and EntanglementRichard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger. BIRTHDAY 2014: 90-107 [doi]

2011

A system of interaction and structure V: the exponentials and splittingAlessio Guglielmi, Lutz Straßburger. mscs, 21(3):563-584, 2011. [doi]

A system of interaction and structure IV: The exponentials and decompositionLutz Straßburger, Alessio Guglielmi. tocl, 12(4):23, 2011. [doi]

2010

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold FormulaePaola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot. lpar 2010: 136-153 [doi]

A Proof Calculus Which Reduces Syntactic BureaucracyAlessio Guglielmi, Tom Gundersen, Michel Parigot. RTA 2010: 135-150 [doi]

Breaking Paths in Atomic Flows for Classical LogicAlessio Guglielmi, Tom Gundersen, Lutz Straßburger. lics 2010: 284-293 [doi]

2009

On the proof complexity of deep inferencePaola Bruscoli, Alessio Guglielmi. tocl, 10(2), 2009. [doi]

Personal portrait of Giorgio LeviAlessio Guglielmi. TCS, 410(46):4605-4607, 2009. [doi]

2008

Normalisation Control in Deep Inference via Atomic FlowsAlessio Guglielmi, Tom Gundersen. lmcs, 4(1), 2008. [doi]

2007

A system of interaction and structureAlessio Guglielmi. tocl, 8(1):1, 2007. [doi]

2006

On structuring proof search for first order linear logicPaola Bruscoli, Alessio Guglielmi. TCS, 360(1-3):42-76, 2006. [doi]

2003

On Structuring Proof Search for First Order Linear LogicPaola Bruscoli, Alessio Guglielmi. lpar 2003: 389-406 [doi]

A Tutorial on Proof Theoretic Foundations of Logic ProgrammingPaola Bruscoli, Alessio Guglielmi. ICLP 2003: 109-127 [doi]

2002

A Non-commutative Extension of MELLAlessio Guglielmi, Lutz Straßburger. lpar 2002: 231-246 [doi]

2001

Non-commutativity and MELL in the Calculus of StructuresAlessio Guglielmi, Lutz Straßburger. csl 2001: 54-68 [doi]

1995

A Linear Logic Programming Language with Parallel and Sequential ConjunctionPaola Bruscoli, Alessio Guglielmi. agp 1995: 409-420

Sequentiality by Linear Implication and Universal QuantificationAlessio Guglielmi. strict 1995: 160-174 [doi]

1994

Expressiveness of the Abstract Logic Programming Language Forum in Planning and ConcurrencyPaola Bruscoli, Alessio Guglielmi. agp 1994: 221-237

Concurrency and Plan Generation in a Logic Programming Language with a Sequential OperatorAlessio Guglielmi. ICLP 1994: 240-254

1993

Chemical Logic Programming?Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi. ICLP 1993:

Chemical Logic Programming?Alessio Guglielmi, G. Levi. agp 1993: 39-54

Sign in or sign up to see more results.

runs on WebDSL