Alessio Guglielmi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Subatomic Proof System for Decision Trees ACM Transactions on Computational Logic	2022-12-08	Paper
Removing cycles from proofs	2020-05-26	Paper
scientific article; zbMATH DE number 7178365 (Why is no real title available?)	2020-03-09	Paper
Subatomic proof systems: splittable systems ACM Transactions on Computational Logic	2018-03-22	Paper
A system of interaction and structure ACM Transactions on Computational Logic	2017-07-12	Paper
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae Logical Methods in Computer Science	2016-07-06	Paper
On the proof complexity of deep inference ACM Transactions on Computational Logic	2015-09-17	Paper
A system of interaction and structure. IV: The exponentials and decomposition ACM Transactions on Computational Logic	2015-09-17	Paper
A logical basis for quantum evolution and entanglement Lecture Notes in Computer Science	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 Mathematical Structures in Computer Science	2011-06-15	Paper
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Logic for Programming, Artificial Intelligence, and Reasoning	2011-01-07	Paper
On structuring proof search for first order linear logic	2010-02-24	Paper
Personal portrait of Giorgio Levi Theoretical Computer Science	2009-11-04	Paper
Logic Programming Lecture Notes in Computer Science	2009-08-06	Paper
Normalisation Control in Deep Inference via Atomic Flows Logical Methods in Computer Science	2008-08-07	Paper
On structuring proof search for first order linear logic Theoretical Computer Science	2006-09-14	Paper
A first order system with finite choice of premises	2006-01-24	Paper
scientific article; zbMATH DE number 1980929 (Why is no real title available?)	2003-09-15	Paper
scientific article; zbMATH DE number 1841813 (Why is no real title available?)	2002-12-04	Paper
Consistency Without Cut Elimination	2002-10-24	Paper

Research outcomes over time

This page was built for person: Alessio Guglielmi