Search the dblp DataBase

Publications of Author

1. Paola Bruscoli, Alessio Guglielmi
   Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency. [Citation Graph (0, 0)][DBLP]
   GULP-PRODE (2), 1994, pp:221-237 [Conf]
   
2. Paola Bruscoli, Alessio Guglielmi
   A Linear Logic Programming Language with Parallel and Sequential Conjunction. [Citation Graph (0, 0)][DBLP]
   GULP-PRODE, 1995, pp:409-420 [Conf]
   
3. Alessio Guglielmi, G. Levi
   Chemical Logic Programming? [Citation Graph (0, 0)][DBLP]
   GULP, 1993, pp:39-54 [Conf]
   
4. Alessio Guglielmi, Lutz Straßburger
   Non-commutativity and MELL in the Calculus of Structures. [Citation Graph (0, 0)][DBLP]
   CSL, 2001, pp:54-68 [Conf]
   
5. Paola Bruscoli, Alessio Guglielmi
   A Tutorial on Proof Theoretic Foundations of Logic Programming. [Citation Graph (0, 0)][DBLP]
   ICLP, 2003, pp:109-127 [Conf]
   
6. Alessio Guglielmi
   Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. [Citation Graph (0, 0)][DBLP]
   ICLP, 1994, pp:240-254 [Conf]
   
7. Paola Bruscoli, Alessio Guglielmi
   On Structuring Proof Search for First Order Linear Logic. [Citation Graph (0, 0)][DBLP]
   LPAR, 2003, pp:389-406 [Conf]
   
8. Alessio Guglielmi, Lutz Straßburger
   A Non-commutative Extension of MELL. [Citation Graph (0, 0)][DBLP]
   LPAR, 2002, pp:231-246 [Conf]
   
9. Paola Bruscoli, Alessio Guglielmi
   On Structuring Proof Search for First Order Linear Logic [Citation Graph (0, 0)][DBLP]
   CoRR, 2003, v:0, n:, pp:- [Journal]
   
10. Alessio Guglielmi
    A System of Interaction and Structure [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
    
11. Paola Bruscoli, Alessio Guglielmi
    On structuring proof search for first order linear logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:42-76 [Journal]
    
12. Alessio Guglielmi
    A system of interaction and structure. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
    
13. Paola Bruscoli, Alessio Guglielmi
    On the Proof Complexity of Deep Inference [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
14. Alessio Guglielmi, Tom Gundersen
    Normalisation Control in Deep Inference Via Atomic Flows [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
15. 
    Breaking Paths in Atomic Flows for Classical Logic. [Citation Graph (, )][DBLP]
    
    
16. 
    A Proof Calculus Which Reduces Syntactic Bureaucracy. [Citation Graph (, )][DBLP]
    
    
17. 
    A System of Interaction and Structure IV: The Exponentials and Decomposition [Citation Graph (, )][DBLP]
    
    
18. 
    Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae [Citation Graph (, )][DBLP]