Phase semantics and decidability of elementary affine logic (Q596037): Difference between revisions

@@ Property / cites work @@
+Q4936120
@@ Property / cites work: Q4936120 / rank @@
+Normal rank
@@ Property / cites work @@
+(Optimal) duplication is not elementary recursive
@@ Property / cites work: (Optimal) duplication is not elementary recursive / rank @@
+Normal rank
@@ Property / cites work @@
+Q5397484
@@ Property / cites work: Q5397484 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Light Affine Logic
@@ Property / cites work: Intuitionistic Light Affine Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778817
@@ Property / cites work: Q2778817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457451
@@ Property / cites work: Q4457451 / 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 @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+Normal rank
@@ Property / cites work @@
+Phase semantics for light linear logic
@@ Property / cites work: Phase semantics for light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of linear affine logic
@@ Property / cites work: Decidability of linear affine logic / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of linear logic
+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 @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222841
@@ Property / cites work: Q4222841 / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
+Normal rank
@@ Property / cites work @@
+A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank