Categorification of Negative Information using Enrichment (Q6150139): Difference between revisions

@@ Property / cites work @@
+Q4842968
@@ Property / cites work: Q4842968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829551
@@ Property / cites work: Q3829551 / rank @@
+Normal rank
@@ Property / cites work @@
+A dialectica-like model of linear logic
@@ Property / cites work: A dialectica-like model of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering Route Planning Algorithms
@@ Property / cites work: Engineering Route Planning Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
@@ Property / cites work: AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS / rank @@
+Normal rank