Parsing MELL proof nets (Q5940925): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for sharing proof-nets
@@ Property / cites work: Coherence for sharing proof-nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024907
@@ Property / cites work: Q3024907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842976
@@ Property / cites work: Q4842976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842970
@@ Property / cites work: Q4842970 / rank @@
+Normal rank
@@ Property / cites work @@
+Constant-only multiplicative linear logic is NP-complete
+Normal rank
@@ Property / cites work @@
+Q4842974
@@ Property / cites work: Q4842974 / rank @@
+Normal rank