No photo of Paola Bruscoli

Paola Bruscoli

Dr

20072017
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.

Proof System Mathematics
Proof Complexity Mathematics
Inference Rules Mathematics
Switch Mathematics
Substitution reactions Engineering & Materials Science
Switches Engineering & Materials Science
Associativity Mathematics
Commutativity Mathematics

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

Projects 2007 2016

Computer systems
Formal languages
Rigidity
Computer programming languages
Formal verification
Computer science
Computer systems
Theorem proving
Computer programming languages
Costs

Research Output 2009 2017

  • 2 Article
  • 1 Conference contribution
66 Downloads (Pure)

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
Inference Rules
Proof System
Switch
Switches
Associativity
3 Citations (Scopus)
74 Downloads (Pure)

Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae

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

Research output: Contribution to journalArticle

Open Access
File
36 Citations (Scopus)
89 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
Proof Complexity
Proof System
Substitution reactions
Substitution
Speedup