
Search the dblp DataBase
Paola Bruscoli:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Intensional Negation in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP] GULP, 1993, pp:359374 [Conf]
 Paola Bruscoli, Alessio Guglielmi
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency. [Citation Graph (0, 0)][DBLP] GULPPRODE (2), 1994, pp:221237 [Conf]
 Paola Bruscoli, Alessio Guglielmi
A Linear Logic Programming Language with Parallel and Sequential Conjunction. [Citation Graph (0, 0)][DBLP] GULPPRODE, 1995, pp:409420 [Conf]
 Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Compilative Constructive Negation in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP] CAAP, 1994, pp:5267 [Conf]
 Paola Bruscoli
A Purely Logical Account of Sequentiality in Proof Search. [Citation Graph (0, 0)][DBLP] ICLP, 2002, pp:302316 [Conf]
 Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Compiling Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP] ICLP, 1994, pp:647661 [Conf]
 Paola Bruscoli, Alessio Guglielmi
A Tutorial on Proof Theoretic Foundations of Logic Programming. [Citation Graph (0, 0)][DBLP] ICLP, 2003, pp:109127 [Conf]
 Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic. [Citation Graph (0, 0)][DBLP] LPAR, 2003, pp:389406 [Conf]
 Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic [Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp: [Journal]
 Paola Bruscoli, Alessio Guglielmi
On structuring proof search for first order linear logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:360, n:13, pp:4276 [Journal]
 Paola Bruscoli, Alessio Guglielmi
On the Proof Complexity of Deep Inference [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp: [Journal]
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae [Citation Graph (, )][DBLP]
Search in 0.011secs, Finished in 0.012secs
