Pages that link to "Item:Q2762625"
From MaRDI portal
The following pages link to Double-pushout graph transformation revisited (Q2762625):
Displaying 28 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Hierarchical graph transformation (Q1608318) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Confluence up to garbage in graph transformation (Q2049983) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Labelled graph strategic rewriting for social networks (Q2413024) (← links)
- Labelled Graph Rewriting Meets Social Networks (Q2827834) (← links)
- Adhesive DPO Parallelism for Monic Matches (Q2867888) (← links)
- Modeling Pointer Redirection as Cyclic Term-graph Rewriting (Q2867899) (← links)
- On Term-Graph Rewrite Strategies (Q2873679) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Categorifying the ZX-calculus (Q3384948) (← links)
- Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- GETGRATS (Q4923529) (← links)
- Basic Results for Two Types of High-Level Replacement Systems (Q4923535) (← links)
- (Q5028460) (← links)
- Confluence up to Garbage (Q5100723) (← links)
- Patch Graph Rewriting (Q5100730) (← links)
- Graph Parsing as Graph Transformation (Q5100735) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- Termination of graph transformation systems using weighted subgraph counting (Q6535508) (← links)
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem (Q6535510) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)
- Formalising the double-pushout approach to graph transformation (Q6635513) (← links)
- Algebraic properties and transformations of monographs (Q6652464) (← links)
