Research

Items by Guglielmi, Alessio

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 20.

Articles

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.

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.

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

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

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

Reports/Papers

Conference or Workshop Items

Guglielmi, A., 2015. Deep Inference. College Publications. (Mathematical Logic and Foundations)

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. and Straßburger, L., 2014. A Logical Basis for Quantum Evolution and Entanglement. Springer, pp. 90-107. (Lecture Notes in Computer Science; 8222)

Guglielmi, A., Gundersen, T. and Straburger, L., 2010. Breaking paths in atomic flows for classical logic. In: 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, July 11, 2010 - July 14, 2010, 2010-07-01, Edinburgh. 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. 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. Berlin: Springer, pp. 136-153. (Lecture Notes in Computer Science; 6355)

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.

Bruennler, K. and Guglielmi, A., 2004. A First Order System with Finite Choice of Premises. Logos Verlag, pp. 59-74. (Logische Philosophie)

Bruscoli, P. and Guglielmi, A., 2003. A Tutorial on Proof Theoretic Foundations of Logic Programming. Springer, 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.

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.

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.

This list was generated on Sat Feb 6 08:56:02 2016 GMT.