Paola Bruscoli

Available identifiers

zbMath Open bruscoli.paolaMaRDI QIDQ1685910

List of research outcomes

Publication	Date of Publication	Type
On the length of medial-switch-mix derivations	2017-12-20	Paper
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae	2016-07-06	Paper
On the proof complexity of deep inference	2015-09-17	Paper
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae	2011-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3408152	2010-02-24	Paper
Logic Programming	2009-08-06	Paper
On structuring proof search for first order linear logic	2006-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4812967	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4954441	2000-06-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paola Bruscoli