Search the dblp DataBase

Publications of Author

1. 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]
   
2. Lutz Straßburger, François Lamarche
   On Proof Nets for Multiplicative Linear Logic with Units. [Citation Graph (0, 0)][DBLP]
   CSL, 2004, pp:145-159 [Conf]
   
3. François Lamarche, Lutz Straßburger
   Constructing Free Boolean Categories. [Citation Graph (0, 0)][DBLP]
   LICS, 2005, pp:209-218 [Conf]
   
4. Alessio Guglielmi, Lutz Straßburger
   A Non-commutative Extension of MELL. [Citation Graph (0, 0)][DBLP]
   LPAR, 2002, pp:231-246 [Conf]
   
5. Lutz Straßburger
   A Local System for Linear Logic. [Citation Graph (0, 0)][DBLP]
   LPAR, 2002, pp:388-402 [Conf]
   
6. François Lamarche, Lutz Straßburger
   Naming Proofs in Classical Propositional Logic. [Citation Graph (0, 0)][DBLP]
   TLCA, 2005, pp:246-261 [Conf]
   
7. Lutz Straßburger
   System NEL is Undecidable. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal]
   
8. François Lamarche, Lutz Straßburger
   From Proof Nets to the Free *-Autonomous Category. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:4, pp:- [Journal]
   
9. Lutz Straßburger
   MELL in the calculus of structures. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:309, n:1-3, pp:213-285 [Journal]
   
10. Lutz Straßburger
    A Characterization of Medial as Rewriting Rule. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:344-358 [Conf]
    
11. Lutz Straßburger
    Proof Nets and the Identity of Proofs [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
12. François Lamarche, Lutz Straßburger
    From Proof Nets to the Free *-Autonomous Category [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
13. 
    What Is the Problem with Proof Nets for Classical Logic? [Citation Graph (, )][DBLP]
    
    
14. 
    Expanding the Realm of Systematic Proof Theory. [Citation Graph (, )][DBLP]
    
    
15. 
    Breaking Paths in Atomic Flows for Classical Logic. [Citation Graph (, )][DBLP]
    
    
16. 
    Modular Sequent Systems for Modal Logic. [Citation Graph (, )][DBLP]
    
    
17. 
    Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic. [Citation Graph (, )][DBLP]
    
    
18. 
    A Kleene Theorem for Forest Languages. [Citation Graph (, )][DBLP]
    
    
19. 
    On the Axiomatisation of Boolean Categories with and without Medial [Citation Graph (, )][DBLP]
    
    
20. 
    A System of Interaction and Structure IV: The Exponentials and Decomposition [Citation Graph (, )][DBLP]