Algebraic graph rewriting with controlled embedding
type: Item
instance of: scholarly article
title: Algebraic graph rewriting with controlled embedding
zbMATH Open document ID: 1436.68155
author: Andrea Corradini
author: Dominique Duval
author: Rachid Echahed
author: Frédéric Prost
author: Leila Ribeiro
published in: Theoretical Computer Science
publication date: 2019-11-22T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 7135123
zbMATH Keywords: rewrite systems
zbMATH Keywords: graph transformation
zbMATH Keywords: algebraic methods
describes a project that uses: AGREE
MaRDI profile type: Publication
full work available at URL: j.tcs.2019.06.004
OpenAlex ID: W2953826501
cites work: Q4693062
cites work: Graph transformation for specification and programming
cites work: Pullback as a generic graph rewriting mechanism
cites work: Parallel and Sequential Independence for Borrowed Contexts
cites work: Restriction categories II: Partial map classification
cites work: Interacting quantum observables: categorical algebra and diagrammatics
cites work: AGREE – Algebraic Graph Rewriting with Controlled Embedding
cites work: The Pullback-Pushout Approach to Algebraic Graph Transformation
cites work: The PBPO graph transformation approach
cites work: On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
cites work: Parallelism in AGREE Transformations
cites work: Sesqui-Pushout Rewriting
cites work: Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
cites work: Adaptive star grammars and their languages
cites work: Graph Transformation with Focus on Incident Edges
cites work: Exponentiable morphisms, partial products and pullback complements
cites work: Inductively Sequential Term-Graph Rewrite Systems
cites work: Fundamentals of algebraic graph transformation
cites work: Parallel and distributed derivations in the single-pushout approach
cites work: Adhesivity with partial maps instead of spans
cites work: Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions
cites work: Algebraic approach to single-pushout graph transformation
cites work: Graph Rewriting in Span-Categories
cites work: Characterisation of parallel independence in AGREE-rewriting
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
Wikidata QID: Q127565669
DOI: 10.1016/J.TCS.2019.06.004
description: scientific article; zbMATH DE number 7135123