Showing 1 - 5 results of 5 for search 'Lutz Straßburger', query time: 0.02s
Refine Results
-
1
On linear rewriting systems for Boolean logic and some applications to proof theory by Anupam Das, Lutz Straßburger
Published 2017-04-01
Article -
2
-
3
From Proof Nets to the Free *-Autonomous Category by Francois Lamarche, Lutz Strassburger
Published 2006-10-01
Article -
4
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic by Lê Thành Dũng Nguyên, Lutz Straßburger
Published 2023-12-01
Article -
5
An Analytic Propositional Proof System on Graphs by Matteo Acclavio, Ross Horne, Lutz Straßburger
Published 2022-10-01
Article