Pages that link to "Item:Q685460"
From MaRDI portal
The following pages link to Algebraic approach to single-pushout graph transformation (Q685460):
Displaying 50 items.
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Topological grammars for data approximation (Q1001095) (← links)
- Algebraic transformation of unary partial algebras II: Single-pushout approach (Q1285664) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- Algebraic transformation of unary partial algebras. I: Double-pushout approach (Q1390937) (← links)
- The PBPO graph transformation approach (Q1734525) (← links)
- Relating graph and term rewriting via Böhm models (Q1924551) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- A structural approach to graph transformation based on symmetric Petri nets (Q2035652) (← links)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Partial pullback complement rewriting along admissible matches (Q2055979) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Monographs, a category of graph structures (Q2237337) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Partial pullback complement rewriting (Q2355683) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Moment Semantics for Reversible Rule-Based Systems (Q2822487) (← links)
- Term-graph Rewriting in Tom Using Relative Positions (Q2870309) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207) (← links)
- AGREE – Algebraic Graph Rewriting with Controlled Embedding (Q2947209) (← links)
- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (Q2947220) (← links)
- Graph Transformation by Computational Category Theory (Q3059706) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- Sesqui-Pushout Rewriting with Type Refinements (Q3187801) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design (Q3507361) (← links)
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (Q3512494) (← links)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)
- Modelling and Verifying Mobile Systems Using π-Graphs (Q3599092) (← links)
- Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)
- A Heterogeneous Pushout Approach to Term-Graph Transformation (Q3636827) (← links)
- (Q4222787) (← links)
- PUSHOUTS OF PARTIAL HOMOMORPHISMS OF PARTIAL ALGEBRAS II: CLOSED QUOMORPHISMS (Q4474479) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- A partial algebras approach to graph transformation (Q4645264) (← links)
- On the interleaving semantics of transformation units — A step into GRACE (Q4645269) (← links)
- Pragmatic and semantic aspects of a module concept for graph transformation systems (Q4645272) (← links)
- Synchronized composition of graph grammar productions (Q4645281) (← links)
- Formal relationship between graph grammars and Petri nets (Q4645283) (← links)