Paola Bruscoli

According to our database, Paola Bruscoli authored at least 13 papers between 1993 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

On the Length of Medial-Switch-Mix Derivations.

Paola Bruscoli, Lutz Straßburger

Proceedings of the Logic, Language, Information, and Computation, 2017

2016

Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae

Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot

Log. Methods Comput. Sci., 2016

2010

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae.

Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

On the proof complexity of deep inference.

Paola Bruscoli, Alessio Guglielmi

ACM Trans. Comput. Log., 2009

2006

On structuring proof search for first order linear logic.

Paola Bruscoli, Alessio Guglielmi

Theor. Comput. Sci., 2006

2003

A Tutorial on Proof Theoretic Foundations of Logic Programming.

Paola Bruscoli, Alessio Guglielmi

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

A Purely Logical Account of Sequentiality in Proof Search.

Paola Bruscoli

Proceedings of the Logic Programming, 18th International Conference, 2002

1995

A Linear Logic Programming Language with Parallel and Sequential Conjunction.

Paola Bruscoli, Alessio Guglielmi

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Compiling Intensional Sets in CLP.

Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi

Proceedings of the Logic Programming, 1994

Compilative Constructive Negation in Constraint Logic Programs.

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo

Proceedings of the Trees in Algebra and Programming, 1994

Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.

Paola Bruscoli, Alessio Guglielmi

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Extensional and Intensional Sets in CLP with Intensional Negation.

Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli

Proceedings of the Workshop on Logic Programming with Sets, 1993

Intensional Negation in Constraint Logic Programs.

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo

Proceedings of the 8th Italian Conference on Logic Programming, 1993