Transformation systems with incremental negative application conditions
From MaRDI portal
Publication:2848878
DOI10.1007/978-3-642-37635-1_8zbMATH Open1394.68196OpenAlexW2176736714MaRDI QIDQ2848878FDOQ2848878
Authors: Andrea Corradini, R. Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall 
Publication date: 13 September 2013
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_8
Recommendations
- Embedding and Confluence of Graph Transformations with Negative Application Conditions
- Conflict Detection for Graph Transformation with Negative Application Conditions
- \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
- Canonical derivations with negative application conditions
- scientific article; zbMATH DE number 919847
Cited In (11)
- Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
- Title not available (Why is that?)
- Canonical derivations with negative application conditions
- Well-structured graph transformation systems with negative application conditions
- Graph Transformation in Constant Time
- From pattern invocation networks to rule preconditions
- Graph transformation with incremental updates
- Conflict Detection for Graph Transformation with Negative Application Conditions
- Embedding and Confluence of Graph Transformations with Negative Application Conditions
- Subobject transformation systems
- Graph Transformation Systems in CHR
This page was built for publication: Transformation systems with incremental negative application conditions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848878)
