A system of interaction and structure A Guglielmi ACM Transactions on Computational Logic (TOCL) 8 (1), 1, 2007 | 322* | 2007 |
Non-commutativity and MELL in the calculus of structures A Guglielmi, L Straßburger Computer Science Logic, 54-68, 2001 | 147 | 2001 |
On the proof complexity of deep inference P Bruscoli, A Guglielmi ACM Transactions on Computational Logic 10 (2), 14:1-34, 2009 | 117 | 2009 |
Normalisation control in deep inference via atomic flows A Guglielmi, T Gundersen Logical Methods in Computer Science 4 (1:9), 1-36, 2008 | 103 | 2008 |
A proof calculus which reduces syntactic bureaucracy A Guglielmi, T Gundersen, M Parigot 21st International Conference on Rewriting Techniques and Applications 6 …, 2010 | 81 | 2010 |
A non-commutative extension of MELL A Guglielmi, L Straßburger Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002 | 59* | 2002 |
Breaking paths in atomic flows for classical logic A Guglielmi, T Gundersen, L Straßburger 2010 25th Annual IEEE Symposium on Logic in Computer Science, 284-293, 2010 | 49 | 2010 |
A system of interaction and structure IV: The exponentials and decomposition L Straßburger, A Guglielmi ACM Transactions on Computational Logic (TOCL) 12 (4), 23, 2011 | 48* | 2011 |
A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae P Bruscoli, A Guglielmi, T Gundersen, M Parigot Logic for Programming, Artificial Intelligence, and Reasoning, 136-153, 2010 | 45* | 2010 |
Deep inference A Guglielmi Web site at http://alessio.guglielmi.name/res/cos, 0 | 44* | |
A system of interaction and structure V: The exponentials and splitting A Guglielmi, L Straßburger Mathematical Structures in Computer Science 21 (3), 563-584, 2011 | 40 | 2011 |
A logical basis for quantum evolution and entanglement RF Blute, A Guglielmi, IT Ivanov, P Panangaden, L Straßburger Lecture Notes in Computer Science 8222, 90-107, 2010 | 22* | 2010 |
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. A Guglielmi ICLP, 240-254, 1994 | 22 | 1994 |
Abstract logic programming in linear logic independence and causality in a first order calculus A Guglielmi BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 416-417, 1996 | 21 | 1996 |
Subatomic proof systems: Splittable systems AA Tubella, A Guglielmi ACM Transactions on Computational Logic (TOCL) 19 (1), 1-33, 2018 | 20* | 2018 |
A first order system with finite choice of premises K Brünnler, A Guglielmi First-Order Logic Revisited, Logische Philosophie, 59-74, 2004 | 19 | 2004 |
On analyticity in deep inference P Bruscoli, A Guglielmi | 16* | 2009 |
Formalism A A Guglielmi Manuscript. http://cs.bath.ac.uk/ag/p/AG11.pdf, 2004 | 16* | 2004 |
A linear logic view of Gamma style computations as proof searches P Bruscoli, A Guglielmi Coordination programming: mechanisms, models and semantics, 249-273, 1996 | 16 | 1996 |
Removing cycles from proofs AA Tubella, A Guglielmi, B Ralph 26th EACSL Annual Conference on Computer Science Logic 2017, 2017 | 14 | 2017 |