No photo of Paola Bruscoli

Paola Bruscoli

Dr

20072017

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 2 Article
  • 1 Conference contribution
Filter
Article
2016

Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae

Guglielmi, A., Bruscoli, P., Gundersen, T. & Parigot, M., 31 Dec 2016, In : Logical Methods in Computer Science. 12, 2, p. 1-30 30 p., 5.

Research output: Contribution to journalArticle

Open Access
3 Citations (Scopus)
80 Downloads (Pure)
2009

On the proof complexity of deep inference

Bruscoli, P. & Guglielmi, A., Feb 2009, In : ACM Transactions on Computational Logic. 10, 2, 34 p., 14.

Research output: Contribution to journalArticle

Open Access
File
37 Citations (Scopus)
131 Downloads (Pure)