Pages that link to "Item:Q2762625"

The following pages link to Double-pushout graph transformation revisited (Q2762625):

Displayed 25 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)
• (Q6121514) ‎ (← links)
• (Q6198042) ‎ (← links)