Soft Linear Logic and Polynomial Complexity Classes (Q2866738): Difference between revisions

@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A logical account of pspace
@@ Property / cites work: A logical account of pspace / rank @@
+Normal rank
@@ Property / cites work @@
+A Soft Type Assignment System for λ-Calculus
@@ Property / cites work: A Soft Type Assignment System for λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A call-by-name lambda-calculus machine
@@ Property / cites work: A call-by-name lambda-calculus machine / 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 @@
+Q4474861
@@ Property / cites work: Q4474861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457461
@@ Property / cites work: Q4457461 / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank