Alessio Guglielmi
Alessio Guglielmi
Verified email at Bath.Ac.UK - Homepage
TitleCited byYear
A system of interaction and structure
A Guglielmi
ACM Transactions on Computational Logic (TOCL) 8 (1), 1, 2007
2592007
Non-commutativity and MELL in the calculus of structures
A Guglielmi, L Straßburger
Computer Science Logic, 54-68, 2001
1152001
On the proof complexity of deep inference
P Bruscoli, A Guglielmi
ACM Transactions on Computational Logic 10 (2), 14:1-34, 2009
992009
Normalisation control in deep inference via atomic flows
A Guglielmi, T Gundersen
Logical Methods in Computer Science 4 (1:9), 1-36, 2007
882007
A non-commutative extension of MELL
A Guglielmi, L Straßburger
Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002
55*2002
A proof calculus which reduces syntactic bureaucracy
A Guglielmi, T Gundersen, M Parigot
21st International Conference on Rewriting Techniques and Applications 6 …, 2010
512010
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
432010
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
43*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
39*2011
Deep inference
A Guglielmi
Web site at http://alessio.guglielmi.name/res/cos, 0
35*
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
302011
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
191996
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator.
A Guglielmi
ICLP, 240-254, 1994
191994
A first order system with finite choice of premises
K Brünnler, A Guglielmi
First-Order Logic Revisited, Logische Philosophie, 59-74, 2004
172004
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
16*2010
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
151996
On analyticity in deep inference
P Bruscoli, A Guglielmi
14*2009
Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae
P Bruscoli, A Guglielmi, T Gundersen, M Parigot
Logical Methods in Computer Science 12 (1), 5:1-30, 2009
132009
Subatomic proof systems: Splittable systems
AA Tubella, A Guglielmi
ACM Transactions on Computational Logic (TOCL) 19 (1), 5, 2018
12*2018
The system can't perform the operation now. Try again later.
Articles 1–20