A Diagrammatic Logic for Object-Oriented Visual Modeling (Q2864376): Difference between revisions

@@ Property / author @@
+U. E. Wolter
@@ Property / author: U. E. Wolter / rank @@
+Normal rank
@@ 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.1016/j.entcs.2008.10.041
+Normal rank
@@ Property / OpenAlex ID @@
+W2000581100
@@ Property / OpenAlex ID: W2000581100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850062
@@ Property / cites work: Q4850062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028344
@@ Property / cites work: Q4028344 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737292
@@ Property / cites work: Q4737292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435354
@@ Property / cites work: Q4435354 / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial theory of parameterized specifications in a general specification framework
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768442
@@ Property / cites work: Q2768442 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sketches as a framework for completeness theorems. I-III
+Normal rank
@@ Property / cites work @@
+Proving semantical equivalence of data specifications
+Normal rank
@@ Property / cites work @@
+Q4092988
@@ Property / cites work: Q4092988 / rank @@
+Normal rank