Q5021224 (Q5021224): Difference between revisions

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MedOlDatschgerl
@@ Property / describes a project that uses: MedOlDatschgerl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Grez
@@ Property / describes a project that uses: Grez / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Software Package for Chemically Inspired Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q5020536
@@ Property / cites work: Q5020536 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic mechanics of graph rewriting
@@ Property / cites work: Stochastic mechanics of graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3300791
@@ Property / cites work: Q3300791 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
+Normal rank
@@ Property / cites work @@
+Q5079733
@@ Property / cites work: Q5079733 / rank @@
+Normal rank
@@ Property / cites work @@
+Rule Algebras for Adhesive Categories
@@ Property / cites work: Rule Algebras for Adhesive Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Sesqui-Pushout Rewriting
@@ Property / cites work: Sesqui-Pushout Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying graph languages with type graphs
@@ Property / cites work: Specifying graph languages with type graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
+Normal rank
@@ Property / cites work @@
+Rule-Based Modelling, Symmetries, Refinements
@@ Property / cites work: Rule-Based Modelling, Symmetries, Refinements / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation and Refinement of Rigid Structures
@@ Property / cites work: Transformation and Refinement of Rigid Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Methods in Systems Biology
@@ Property / cites work: Computational Methods in Systems Biology / rank @@
+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 @@
+-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
+Normal rank
@@ Property / cites work @@
+Q3549563
@@ Property / cites work: Q3549563 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary -adhesive categories
@@ Property / cites work: Finitary -adhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Intrinsic information carriers in combinatorial dynamical systems
+Normal rank
@@ Property / cites work @@
+Q5284549
@@ Property / cites work: Q5284549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438777
@@ Property / cites work: Q4438777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5020535
@@ Property / cites work: Q5020535 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformation Units Guided by a SAT Solver
@@ Property / cites work: Graph Transformation Units Guided by a SAT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Criteria for DPO Transformations with Injective Matches
+Normal rank
@@ Property / cites work @@
+Constructing optimized validity-preserving application conditions for graph transformation rules
+Normal rank
@@ Property / cites work @@
+Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
+Normal rank
@@ Property / cites work @@
+Sound and Complete Abstract Graph Transformation
@@ Property / cites work: Sound and Complete Abstract Graph Transformation / rank @@
+Normal rank