Paola Bruscoli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1993–2017
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | WoLLIC | On the Length of Medial-Switch-Mix Derivations. | Paola Bruscoli, Lutz Straburger |
| 2010 | LPAR | A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. | Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot |
| 2003 | ICLP | A Tutorial on Proof Theoretic Foundations of Logic Programming. | Paola Bruscoli, Alessio Guglielmi |
| 2003 | LPAR | On Structuring Proof Search for First Order Linear Logic. | Paola Bruscoli, Alessio Guglielmi |
| 2002 | ICLP | A Purely Logical Account of Sequentiality in Proof Search. | Paola Bruscoli |
| 1994 | ICLP | Compiling Intensional Sets in CLP. | Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 1993 | ICLP | Extensional and Intensional Sets in CLP with Intensional Negation. | Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli |