Characterizing<b>co-NL</b>by a group action (Q5741572): Difference between revisions

@@ Property / arXiv ID @@
+.3422
@@ Property / arXiv ID: 1209.3422 / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction graphs: multiplicatives
@@ Property / cites work: Interaction graphs: multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Soft linear logic and polynomial time
@@ Property / cites work: Soft linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Pure Pointer Programs and Tree Isomorphism
@@ Property / cites work: Pure Pointer Programs and Tree Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic and elementary time
@@ Property / cites work: Linear logic and elementary time / rank @@
+Normal rank
@@ Property / cites work @@
+The standard form of von Neumann algebras.
@@ Property / cites work: The standard form of von Neumann algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Normativity in Logic
@@ Property / cites work: Normativity in Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry of interaction. V: Logic in the hyperfinite factor
+Normal rank
@@ Property / cites work @@
+Q3999065
@@ Property / cites work: Q3999065 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+On Multi-Head Finite Automata
@@ Property / cites work: On Multi-Head Finite Automata / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2044971924
@@ Property / OpenAlex ID: W2044971924 / rank @@
+Normal rank