Lutz Straßburger

1. A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
   2023/12/18 by Lê Thành Dũng Nguyễn, Lutz Straßburger · 1 voice · 2 citations
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification
2. Proof Nets and the Identity of Proofs
   2006/10/20 by Lutz Straßburger, Lutz Strassburger, Strassburger, Lutz · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
3. A Logical Basis for Quantum Evolution and Entanglement
   2014/01/01 by Richard F. Blute, Richard Blute, Alessio Guglielmi +3 · 1 citation
   Computer Science · Physics and Astronomy · #Computability, Logic, AI Algorithms #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications
4. Interpolation via Generalized Splitting
   2026/07/26 by Lutz Straßburger
   Computer Science · #cs.LO