Paola Bruscoli

16 papers B 4C 1Journal 5Unranked 6

Year	Rank	Type	Title / 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