Change Management for Heterogeneous Development Graphs (Q3058452): Difference between revisions

@@ Property / cites work @@
+Q4428290
@@ Property / cites work: Q4428290 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation of Locales in Isabelle: Theories and Proof Contexts
+Normal rank
@@ Property / cites work @@
+Generalized Theoroidal Institution Comorphisms
@@ Property / cites work: Generalized Theoroidal Institution Comorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Composing Hidden Information Modules over Inclusive Institutions
+Normal rank
@@ Property / cites work @@
+Q2722029
@@ Property / cites work: Q2722029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738235
@@ Property / cites work: Q4738235 / rank @@
+Normal rank
@@ Property / cites work @@
+Development graphs -- proof management for structured specifications
+Normal rank
@@ Property / cites work @@
+What is a logic translation?
@@ Property / cites work: What is a logic translation? / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank