( en | de | ru )

 

Disambiguation of "Bruscoli, Paola"

Author of the publication

copydeleteadd this publication to your clipboard
On the Length of Medial-Switch-Mix Derivations.

, and . WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 68-79. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anna-Pia Paolazzi

Domingos Paola

Paola Belloni

Paola Bozzi

Paola Nava

 

Other publications of authors with the same name

A Purely Logical Account of Sequentiality in Proof Search.. ICLP, volume 2401 of Lecture Notes in Computer Science, page 302-316. Springer, (2002)On Structuring Proof Search for First Order Linear Logic., and . LPAR, volume 2850 of Lecture Notes in Computer Science, page 389-406. Springer, (2003)Compilative Constructive Negation in Constraint Logic Programs., , , and . CAAP, volume 787 of Lecture Notes in Computer Science, page 52-67. Springer, (1994)Intensional Negation in Constraint Logic Programs., , , and . GULP, page 359-374. (1993)A Linear Logic Programming Language with Parallel and Sequential Conjunction., and . GULP-PRODE, page 409-420. (1995)Compiling Intensional Sets in CLP., , , and . ICLP, page 647-661. MIT Press, (1994)Extensional and Intensional Sets in CLP with Intensional Negation., , , , and . ICLP Workshop on Logic Programming with Sets, (1993)Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency., and . GULP-PRODE (2), page 221-237. (1994)A Tutorial on Proof Theoretic Foundations of Logic Programming., and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 109-127. Springer, (2003)