A categorical theory of patches (Q265821): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2013.09.018
@@ Property / DOI: 10.1016/j.entcs.2013.09.018 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q113317956
@@ Property / Wikidata QID: Q113317956 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1993230497
@@ Property / OpenAlex ID: W1993230497 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3903
@@ Property / arXiv ID: 1311.3903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222751
@@ Property / cites work: Q4222751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Connected components and colimits
@@ Property / cites work: Connected components and colimits / rank @@
+Normal rank
@@ Property / cites work @@
+The comprehensive factorization of a functor
@@ Property / cites work: The comprehensive factorization of a functor / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2013.09.018
@@ Property / DOI: 10.1016/J.ENTCS.2013.09.018 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:265821