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.

Fingerprint Dive into the research topics where Paola Bruscoli is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

  • 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
    File
  • 1 Citation (Scopus)
    108 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
    File
  • 37 Citations (Scopus)
    129 Downloads (Pure)