Q3480250 (Q3480250): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3715301
@@ Property / cites work: Q3715301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3724520
@@ Property / cites work: Q3724520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3721820
@@ Property / cites work: Q3721820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5809947
@@ Property / cites work: Q5809947 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+The linear abstract machine
@@ Property / cites work: The linear abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank