Alessio Guglielmi

Available identifiers

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
On structuring proof search for first order linear logic	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
A first order system with finite choice of premises	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

This page was built for person: Alessio Guglielmi