Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2020.100565
@@ Property / DOI: 10.1016/j.jlamp.2020.100565 / rank @@
-Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
+Normal rank
@@ Property / cites work @@
+ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
+Normal rank
@@ Property / cites work @@
+Graph and model transformation. General framework and applications
+Normal rank
@@ Property / cites work @@
+Graph attribution through sub-graphs
@@ Property / cites work: Graph attribution through sub-graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Quasitoposes, Quasiadhesive Categories and Artin Glueing
+Normal rank
@@ Property / cites work @@
+Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Hereditary Pushouts Reconsidered
@@ Property / cites work: Hereditary Pushouts Reconsidered / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904140
@@ Property / cites work: Q4904140 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction and properties of adhesive and weak adhesive high-level replacement categories
+Normal rank
@@ Property / cites work @@
+Introduction to bidirectional transformations
@@ Property / cites work: Introduction to bidirectional transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Model Synchronization with Precedence Triple Graph Grammars
+Normal rank
@@ Property / cites work @@
+Adhesive subcategories of functor categories with instantiation to partial triple graphs
+Normal rank
@@ Property / cites work @@
+Q4037323
@@ Property / cites work: Q4037323 / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesivity with Partial Maps instead of Spans
@@ Property / cites work: Adhesivity with Partial Maps instead of Spans / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
+Normal rank
@@ Property / cites work @@
+Q3575369
@@ Property / cites work: Q3575369 / rank @@
+Normal rank
@@ Property / cites work @@
+On the axioms for adhesive and quasiadhesive categories
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+Toposes Are Adhesive
@@ Property / cites work: Toposes Are Adhesive / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438792
@@ Property / cites work: Q4438792 / rank @@
+Normal rank
@@ Property / cites work @@
+Van Kampen Colimits as Bicolimits in Span
@@ Property / cites work: Van Kampen Colimits as Bicolimits in Span / rank @@
+Normal rank
@@ Property / cites work @@
+Connected limits, familial representability and Artin glueing
+Normal rank
@@ Property / cites work @@
+Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Pullback in partial morphism categories
@@ Property / cites work: Pullback in partial morphism categories / rank @@
+Normal rank
@@ Property / cites work @@
+On Pushouts of Partial Maps
@@ Property / cites work: On Pushouts of Partial Maps / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical Foundations of Distributed Graph Transformation
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2020.100565
@@ Property / DOI: 10.1016/J.JLAMP.2020.100565 / rank @@
+Normal rank