Alessio Guglielmi

Available identifiers

zbMath Open guglielmi.alessioMaRDI QIDQ1035694

List of research outcomes

Publication	Date of Publication	Type
A Subatomic Proof System for Decision Trees	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5111176	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5219930	2020-03-09	Paper
Subatomic Proof Systems	2018-03-22	Paper
A system of interaction and structure	2017-07-12	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 system of interaction and structure IV	2015-09-17	Paper
A Logical Basis for Quantum Evolution and Entanglement	2014-05-08	Paper
A Proof Calculus Which Reduces Syntactic Bureaucracy	2012-04-25	Paper
A system of interaction and structure V: the exponentials and splitting	2011-06-15	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
Personal portrait of Giorgio Levi	2009-11-04	Paper
Logic Programming	2009-08-06	Paper
Normalisation Control in Deep Inference via Atomic Flows	2008-08-07	Paper
On structuring proof search for first order linear logic	2006-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3367318	2006-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4428303	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4783301	2002-12-04	Paper
Consistency Without Cut Elimination	2002-10-24	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: Alessio Guglielmi