System Consequence (Q5190975): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2342308798
@@ Property / OpenAlex ID: W2342308798 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02929
@@ Property / arXiv ID: 1810.02929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Information Flow
@@ Property / cites work: Information Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical manifesto
@@ Property / cites work: A categorical manifesto / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Fibrations and universal view updatability
@@ Property / cites work: Fibrations and universal view updatability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5717099
@@ Property / cites work: Q5717099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311059
@@ Property / cites work: Q5311059 / rank @@
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5190975