The additive multiboxes (Q1861326): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3357521
@@ Property / cites work: Q3357521 / 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 @@
+A new deconstructive logic: linear logic
@@ Property / cites work: A new deconstructive logic: linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842980
@@ Property / cites work: Q4842980 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263837
@@ Property / cites work: Q4263837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752054
@@ Property / cites work: Q2752054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263872
@@ Property / cites work: Q4263872 / rank @@
+Normal rank
@@ Property / cites work @@
+Homology of proof-nets
@@ Property / cites work: Homology of proof-nets / rank @@
+Normal rank
@@ Property / cites work @@
+Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0168-0072(02)00042-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2094993595
@@ Property / OpenAlex ID: W2094993595 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1861326