A completeness theorem for symmetric product phase spaces (Q5311727): Difference between revisions

@@ Property / DOI @@
-.2178/jsl/1082418530
@@ Property / DOI: 10.2178/jsl/1082418530 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1082418530
+Normal rank
@@ Property / OpenAlex ID @@
+W1979035026
@@ Property / OpenAlex ID: W1979035026 / rank @@
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics in multiplicative-additive linear logic
+Normal rank
@@ Property / cites work @@
+Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics: The exponentials
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical computer science. Petri nets.
@@ Property / cites work: Theoretical computer science. Petri nets. / rank @@
+Normal rank
@@ Property / cites work @@
+On denotational completeness
@@ Property / cites work: On denotational completeness / rank @@
+Normal rank
@@ Property / DOI @@
+.2178/JSL/1082418530
@@ Property / DOI: 10.2178/JSL/1082418530 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5311727