Paola Bruscoli

16 papers B 4C 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2017 C conf
On the Length of Medial-Switch-Mix Derivations.
WoLLIC
Paola Bruscoli, Lutz Straßburger
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
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
2009 J jnl
On the proof complexity of deep inference.
ACM Trans. Comput. Log.
Paola Bruscoli, Alessio Guglielmi
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 Purely Logical Account of Sequentiality in Proof Search.
ICLP
Paola Bruscoli
1995 — conf
A Linear Logic Programming Language with Parallel and Sequential Conjunction.
GULP-PRODE
Paola Bruscoli, Alessio Guglielmi
1994 — conf
Compilative Constructive Negation in Constraint Logic Programs.
CAAP
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
1994 B conf
Compiling Intensional Sets in CLP.
ICLP
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
1994 — conf
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.
GULP-PRODE (2)
Paola Bruscoli, Alessio Guglielmi
1993 — conf
Extensional and Intensional Sets in CLP with Intensional Negation.
ICLP Workshop on Logic Programming with Sets
Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli
1993 — conf
Intensional Negation in Constraint Logic Programs.
GULP
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo