Correctness of linear logic proof structures is NL-complete (Q534703): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.12.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2092553770
@@ Property / OpenAlex ID: W2092553770 / rank @@
+Normal rank
@@ Property / cites work @@
+Constant Depth Reducibility
@@ Property / cites work: Constant Depth Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+The additive multiboxes
@@ Property / cites work: The additive multiboxes / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Parsing MELL proof nets
@@ Property / cites work: Parsing MELL proof nets / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets for unit-free multiplicative-additive linear logic
+Normal rank
@@ Property / cites work @@
+Nondeterministic Space is Closed under Complementation
+Normal rank
@@ Property / cites work @@
+New problems complete for nondeterministic log space
+Normal rank
@@ Property / cites work @@
+Q4842976
@@ Property / cites work: Q4842976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650584
@@ Property / cites work: Q4650584 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast verification of MLL proof nets via IMLL
@@ Property / cites work: Fast verification of MLL proof nets via IMLL / rank @@
+Normal rank
@@ Property / cites work @@
+Undirected ST-connectivity in log-space
@@ Property / cites work: Undirected ST-connectivity in log-space / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815544
@@ Property / cites work: Q3815544 / rank @@
+Normal rank