( en | de | ru )

 

Disambiguation of "Bruscoli, Paola"

Author of the publication

copydeleteadd this publication to your clipboard
Compiling Intensional Sets in CLP.

, , , and . ICLP, page 647-661. MIT Press, (1994)

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 Traverso

Paola Borri

Paola Nava

 

Other publications of authors with the same name

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)A Purely Logical Account of Sequentiality in Proof Search.. ICLP, volume 2401 of Lecture Notes in Computer Science, page 302-316. Springer, (2002)On the proof complexity of deep inference., and . ACM Trans. Comput. Log., 10 (2): 14:1-14:34 (2009)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)On structuring proof search for first order linear logic., and . Theor. Comput. Sci., 360 (1-3): 42-76 (2006)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)Compiling Intensional Sets in CLP., , , and . ICLP, page 647-661. MIT Press, (1994)