No photo of Paola Bruscoli

Paola Bruscoli



Research output per year

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

Research Output

  • 2 Article
  • 1 Conference contribution

On the Length of Medial-Switch-Mix Derivations

Bruscoli, P. & Strassburger, L., Jun 2017, Logic, Language and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18–21, 2017: Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Berlin, Germany: Springer Verlag, p. 68-79 (Lecture Notes in Computer Science; vol. 10388).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2 Citations (Scopus)
109 Downloads (Pure)

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)

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
37 Citations (Scopus)
131 Downloads (Pure)