Paola Bruscoli - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2017

On the Length of Medial-Switch-Mix DerivationsPaola Bruscoli, Lutz Straßburger. wollic 2017: 68-79 [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]

2009

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

2006

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

2003

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

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

2002

A Purely Logical Account of Sequentiality in Proof SearchPaola Bruscoli. ICLP 2002: 302-316 [doi]

1995

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

1994

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

Compilative Constructive Negation in Constraint Logic ProgramsPaola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo. caap 1994: 52-67

Compiling Intensional Sets in CLPPaola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. ICLP 1994: 647-661

1993

Intensional Negation in Constraint Logic ProgramsPaola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo. agp 1993: 359-374

Extensional and Intensional Sets in CLP with Intensional NegationPaola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli. ICLP 1993:

Sign in or sign up to see more results.

runs on WebDSL