Optimal reductions in interaction systems (Q5044756): Difference between revisions

@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282571
@@ Property / cites work: Q4282571 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138543
@@ Property / cites work: Q3138543 / rank @@
+Normal rank
@@ Property / cites work @@
+On a result of J.J. Sylvester
@@ Property / cites work: On a result of J.J. Sylvester / rank @@
+Normal rank