scientific article; zbMATH DE number 139800
zbMATH Open0768.68069MaRDI QIDQ4028126FDOQ4028126
Authors: Michael Löwe, Hartmut Ehrig 
Publication date: 28 March 1993
Title of this publication is not available (Why is that?)
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
hypergraphsgraph grammarsgraph rewritingsingle-pushout approachfunctional expressionsasynchronous parallel derivationscategories of algebras and partial homomorphismscategory of graphs and partial morphismspartial graph morphism
Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Unary algebras (08A60) Categories of algebras (08C05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cited In (47)
- On graph rewritings
- Double-pushout graph transformation revisited
- Algebraic approach to single-pushout graph transformation
- The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation: A survey
- Title not available (Why is that?)
- The PBPO graph transformation approach
- Set-theoretic graph rewriting
- Term graph rewriting and garbage collection using opfibrations
- Graph rewriting in span-categories
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
- Algebraic graph rewriting with controlled embedding
- Matrix Approach to Graph Transformation: Matching and Sequences
- Properties of graphs preserved by relational graph rewritings
- The pullback-pushout approach to algebraic graph transformation
- Partial pushout semantics of generics in DOL
- Single pushout transformations of equationally defined graph structures with applications to actor systems
- Title not available (Why is that?)
- Note on standard representation of graphs and graph derivations
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
- Title not available (Why is that?)
- Parallelism in single-pushout graph rewriting
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
- Algebraic Graph Transformations with Inheritance
- Single pushout rewriting in comprehensive systems
- Title not available (Why is that?)
- Sesqui-Pushout Rewriting
- Graph expressions and graph rewritings
- Single pushout rewriting in comprehensive systems of graph-like structures
- How to delete categorically -- two pushout complement constructions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal Methods in Software and Systems Modeling
- Relational structures and their partial morphisms in view of single pushout rewriting
- Subobject transformation systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Pullback as a generic graph rewriting mechanism
- Generating irregular partitionable data structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- A generalized concurrent rule construction for double-pushout rewriting
- Locating the contractum in the double pushout approach
- Relational graph rewritings
- Parallel and distributed derivations in the single-pushout approach
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)
