Items by Guglielmi, Alessio

2011

Straburger, L. and Guglielmi, A., 2011. A system of interaction and structure IV: The exponentials and decomposition. ACM Transactions on Computational Logic, 12 (4), 23.

Guglielmi, A. and Straburger, L., 2011. A system of interaction and structure V: the exponentials and splitting. Mathematical Structures in Computer Science, 21 (3), pp. 563-584.

2010

Guglielmi, A., Gundersen, T. and Straburger, L., 2010. Breaking paths in atomic flows for classical logic. In: 2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS. IEEE, pp. 284-293. (Proceedings - Symposium on Logic in Computer Science)

Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A proof calculus which reduces syntactic bureaucracy. In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Vol. 6. Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp. 135-150.

Bruscoli, P., Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae. In: Clarke, E. M. and Voronkov, A., eds. Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, revised selected papers. Berlin: Springer, pp. 136-153. (Lecture Notes in Computer Science; 6355)

2009

Bruscoli, P. and Guglielmi, A., 2009. On the proof complexity of deep inference. ACM Transactions on Computational Logic, 10 (2), 14.

Guglielmi, A., 2009. Personal portrait of Giorgio Levi. Theoretical Computer Science, 410 (46), pp. 4605-4607.

2008

Guglielmi, A. and Gundersen, T., 2008. Normalisation control in deep inference via atomic flows. Logical Methods in Computer Science, 4 (1), 9.

2007

Guglielmi, A., 2007. A system of interaction and structure. ACM Transactions on Computational Logic, 8 (1).

2006

Bruscoli, P. and Guglielmi, A., 2006. On Structuring Proof Search for First Order Linear Logic. Theoretical Computer Science, 360 (1-3), pp. 42-76.

2005

Guglielmi, A., 2005. The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference. In: ICALP '05 Workshop `Structures and Deduction', 2005-01-01.

2004

Bruennler, K. and Guglielmi, A., 2004. A First Order System with Finite Choice of Premises. In: Hendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. and Wansing, H., eds. First-Order Logic Revisited. Logos Verlag, pp. 59-74. (Logische Philosophie)

Guglielmi, A. and Straßburger, L., 2004. A Non-commutative Extension of Multiplicative Exponential Linear Logic. Discussion Paper.

2003

Bruscoli, P. and Guglielmi, A., 2003. A Tutorial on Proof Theoretic Foundations of Logic Programming. In: Logic Programming, 19th International Conference - Lecture Notes in Computer Science. Vol. 2916. Springer-Verlag, pp. 109-127. (Lecture Notes in Computer Science)

Bruscoli, P. and Guglielmi, A., 2003. On Structuring Proof Search for First Order Linear Logic. In: Lecture Notes in Artificial Intelligence, 2003-01-01.

2002

Guglielmi, A. and Strassburger, L., 2002. A Non-commutative Extension of MELL. In: Logic for Programming, Artificial Intelligence, and Reasoning - 9th International Conference, LPAR, 2002-10-01.

2001

Guglielmi, A. and Strassburger, L., 2001. Non-commutativity and MELL in the Calculus of Structures. In: Computer Science Logic (CSL) 2001 - Lecture Notes in Computer Science, 2001-09-01.