Q2703720 (Q2703720): Difference between revisions

@@ Property / cites work @@
+Non-commutative logic. I: The multiplicative fragment
+Normal rank
@@ Property / cites work @@
+Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
+Normal rank
@@ Property / cites work @@
+Applications of Linear Logic to Computation: An Overview
+Normal rank
@@ Property / cites work @@
+Q2701978
@@ Property / cites work: Q2701978 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent reconstruction in LLM -- A sweepline proof
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+A specification logic for concurrent object-oriented  programming
+Normal rank
@@ Property / cites work @@
+Connection methods in linear logic and proof nets construction
+Normal rank
@@ Property / cites work @@
+Q4223029
@@ Property / cites work: Q4223029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255504
@@ Property / cites work: Q4255504 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501142
@@ Property / cites work: Q4501142 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520768
@@ Property / cites work: Q4520768 / rank @@
+Normal rank
@@ Property / cites work @@
+Forum: A multiple-conclusion specification logic
@@ Property / cites work: Forum: A multiple-conclusion specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222840
@@ Property / cites work: Q4222840 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218945
@@ Property / cites work: Q4218945 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank