scientific article; zbMATH DE number 139800
From MaRDI portal
Publication:4028126
Recommendations
- Algebraic approach to single-pushout graph transformation
- The pullback-pushout approach to algebraic graph transformation
- scientific article; zbMATH DE number 1638662
- scientific article; zbMATH DE number 1953883
- Fundamentals of algebraic graph transformation
- Algebraic hierarchical graph transformation
- Publication:5748897
- Algebraic Graph Transformations with Inheritance
- Double-pushout graph transformation revisited
Cited in
(47)- On graph rewritings
- Algebraic approach to single-pushout graph transformation
- The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation: A survey
- Double-pushout graph transformation revisited
- scientific article; zbMATH DE number 919852 (Why is no real title available?)
- The PBPO graph transformation approach
- Term graph rewriting and garbage collection using opfibrations
- Set-theoretic graph rewriting
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
- Graph rewriting in span-categories
- Algebraic graph rewriting with controlled embedding
- Properties of graphs preserved by relational graph rewritings
- Matrix Approach to Graph Transformation: Matching and Sequences
- Partial pushout semantics of generics in DOL
- The pullback-pushout approach to algebraic graph transformation
- Single pushout transformations of equationally defined graph structures with applications to actor systems
- scientific article; zbMATH DE number 177428 (Why is no real title available?)
- Note on standard representation of graphs and graph derivations
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
- scientific article; zbMATH DE number 4114059 (Why is no real title available?)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
- Parallelism in single-pushout graph rewriting
- Algebraic Graph Transformations with Inheritance
- scientific article; zbMATH DE number 517053 (Why is no real title available?)
- Sesqui-Pushout Rewriting
- Single pushout rewriting in comprehensive systems
- Single pushout rewriting in comprehensive systems of graph-like structures
- Graph expressions and graph rewritings
- How to delete categorically -- two pushout complement constructions
- scientific article; zbMATH DE number 2016072 (Why is no real title available?)
- scientific article; zbMATH DE number 1189283 (Why is no real title available?)
- scientific article; zbMATH DE number 1504830 (Why is no real title available?)
- Subobject transformation systems
- Formal Methods in Software and Systems Modeling
- Relational structures and their partial morphisms in view of single pushout rewriting
- scientific article; zbMATH DE number 165003 (Why is no real title available?)
- scientific article; zbMATH DE number 177420 (Why is no real title available?)
- scientific article; zbMATH DE number 177452 (Why is no real title available?)
- scientific article; zbMATH DE number 1953883 (Why is no real title available?)
- Generating irregular partitionable data structures
- Pullback as a generic graph rewriting mechanism
- scientific article; zbMATH DE number 1638662 (Why is no real title available?)
- scientific article; zbMATH DE number 1418365 (Why is no real title available?)
- Locating the contractum in the double pushout approach
- Relational graph rewritings
- Parallel and distributed derivations in the single-pushout approach
- A generalized concurrent rule construction for double-pushout rewriting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028126)
