Publications of Alessio Guglielmi

Alessio Guglielmi

Proceedings Articles

Alessio Guglielmi
The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference
In P. Bruscoli and F. Lamarche and C. Stewart, eds., Structures and Deduction, 53-68, 2005. Technische Universität Dresden
Details Download

Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
In Moshe Y. Vardi and Andrei Voronkov, eds., LPAR 2003, volume 2850 of Lecture Notes in Artificial Intelligence, 389-406, 2003. Springer
Details

Paola Bruscoli, Alessio Guglielmi
A Tutorial on Proof Theoretic Foundations of Logic Programming
In Catuscia Palamidessi, eds., Logic Programming, 19th International Conference, volume 2916 of Lecture Notes in Computer Science, 109-127, 2003. Springer
Details

Alessio Guglielmi, Lutz Straßburger
A Non-commutative Extension of MELL
In Matthias Baaz and Andrei Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, 231-246, 2002. Springer
Details Download

Alessio Guglielmi, Lutz Straßburger
Non-commutativity and MELL in the Calculus of Structures
In L. Fribourg, eds., Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '01, Lecture Notes in Computer Science, 54-68, 2001. Springer
Details Download

Book Chapters

Kai Brünnler, Alessio Guglielmi
A First Order System with Finite Choice of Premises
In Hendricks et al., eds., First-Order Logic Revisited. Logos Verlag, to appear
Details

Technical Reports

Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
Technical Report, Technische Universität Dresden, volume WV-03-10, 2003
Details Download

Kai Brünnler, Alessio Guglielmi
A Finitary System for First Order Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-09, 2003
Details Download

Kai Brünnler, Alessio Guglielmi
Consistency Without Cut Elimination
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-16 (updated April 2003), 2002
Details Download

Alessio Guglielmi
A System of Interaction and Structure
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-10, 2002
Details Download

Alessio Guglielmi
A Calculus of Order and Interaction
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-01, 2001
Details

Alessio Guglielmi
A Calculus of Order and Interaction
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-04, 1999
Details