A Categorical Approach to Mereology and Its Application to Modelling Software Components (Q3600304): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-85064-9_8
+Normal rank
@@ Property / OpenAlex ID @@
+W1800359353
@@ Property / OpenAlex ID: W1800359353 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Information Flow
@@ Property / cites work: Information Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Nonclassical mereology and its application to sets
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708586
@@ Property / cites work: Q4708586 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+On a formal semantics of tabular expressions
@@ Property / cites work: On a formal semantics of tabular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3425582
@@ Property / cites work: Q3425582 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807625
@@ Property / cites work: Q4807625 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Parthood Specification Method for Component Software
+Normal rank
@@ Property / cites work @@
+The calculus of individuals and its uses
@@ Property / cites work: The calculus of individuals and its uses / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003537
@@ Property / cites work: Q4003537 / rank @@
+Normal rank
@@ Property / cites work @@
+Rough mereology: A new paradigm for approximate reasoning
+Normal rank
@@ Property / cites work @@
+On Understanding Leśniewski
@@ Property / cites work: On Understanding Leśniewski / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461961
@@ Property / cites work: Q4461961 / rank @@
+Normal rank
@@ Property / cites work @@
+Mereotopology: A theory of parts and boundaries
@@ Property / cites work: Mereotopology: A theory of parts and boundaries / rank @@
+Normal rank