Theory blending: extended algorithmic aspects and examples (Q2398271): Difference between revisions

@@ Property / cites work @@
+Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+On the complexity of specification morphisms
@@ Property / cites work: On the complexity of specification morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+ASP, Amalgamation, and the Conceptual Blending Workflow
+Normal rank
@@ Property / cites work @@
+Q4763045
@@ Property / cites work: Q4763045 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods at the Crossroads. From Panacea to Foundational Support
+Normal rank
@@ Property / cites work @@
+Theory blending: extended algorithmic aspects and examples
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Heuristic-Driven Theory Projection: An Overview
@@ Property / cites work: Heuristic-Driven Theory Projection: An Overview / rank @@
+Normal rank