`Travelled to:`

1 × Denmark

1 × India

1 × Italy

`Collaborated with:`

A.Guglielmi ∅ A.Dovier E.Pontelli G.Rossi

`Talks about:`

proof (2) logic (2) intension (1) sequenti (1) theoret (1) program (1) foundat (1) account (1) tutori (1) search (1)

## Person: Paola Bruscoli

### DBLP: Bruscoli:Paola

### Contributed to:

### Wrote 3 papers:

- ICLP-2003-BruscoliG #logic programming #proving #tutorial
- A Tutorial on Proof Theoretic Foundations of Logic Programming (PB, AG), pp. 109–127.
- ICLP-2002-Bruscoli #logic #proving
- A Purely Logical Account of Sequentiality in Proof Search (PB), pp. 302–316.
- ICLP-1994-BruscoliDPR #compilation #set
- Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.