On graph rewritings
From MaRDI portal
Publication:800736
Recommendations
Cites work
- scientific article; zbMATH DE number 3466555 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- scientific article; zbMATH DE number 3388535 (Why is no real title available?)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- The lambda calculus, its syntax and semantics
Cited in
(55)- Lambda calculus with explicit recursion
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
- A local graph-rewriting system for deciding equality in sum-product theories
- The contractum in algebraic graph rewriting
- Thermodynamic Graph-Rewriting
- Conditional rewriting logic as a unified model of concurrency
- Relating graph and term rewriting via Böhm models
- Redex capturing in term graph rewriting (concise version)
- Strategic port graph rewriting: an interactive modelling framework
- Computing with graph rewriting systems with priorities
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- Single pushout rewriting in comprehensive systems
- On ``On graph rewritings
- Generating irregular partitionable data structures
- The first-order theory of ground tree rewrite graphs
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
- Set-theoretic graph rewriting
- Graph rewriting for the π-calculus
- Confluence for graph transformations
- Relational graph rewritings
- Comparison of two graph-rewrite systems
- Parallelism in single-pushout graph rewriting
- A categorical manifesto
- Algebraic approach to single-pushout graph transformation
- Parallel and distributed derivations in the single-pushout approach
- Categorical principles, techniques and results for high-level-replacement systems in computer science
- Multilevel graph grammars
- Relational structures and their partial morphisms in view of single pushout rewriting
- Confluence of graph rewriting with interfaces
- Incremental update for graph rewriting
- Unification of drags and confluence of drag rewriting
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- On categorical graph grammars integrating structural transformations and operations on labels
- Term rewriting in \(\mathrm{CT}_\Sigma \)
- Confluence of indirection reductions in graph rewrite systems
- A Heterogeneous Pushout Approach to Term-Graph Transformation
- scientific article; zbMATH DE number 1418367 (Why is no real title available?)
- On relating rewriting systems and graph grammars to event structures
- Note on node-rewriting graph grammars
- Graph expressions and graph rewritings
- Term graph rewriting and garbage collection using opfibrations
- A small final coalgebra theorem
- Implementing term rewriting by jungle evaluation
- Properties of graphs preserved by relational graph rewritings
- Drags: a compositional algebraic framework for graph rewriting
- Algebraic transformation of unary partial algebras II: Single-pushout approach
- On the reachability of a version of graph-rewriting system
- scientific article; zbMATH DE number 1638662 (Why is no real title available?)
- scientific article; zbMATH DE number 165003 (Why is no real title available?)
- scientific article; zbMATH DE number 177452 (Why is no real title available?)
- scientific article; zbMATH DE number 1166252 (Why is no real title available?)
- scientific article; zbMATH DE number 4049096 (Why is no real title available?)
- Single pushout rewriting in comprehensive systems of graph-like structures
- Extending graph rewriting with copying
- Algebraic properties and transformations of monographs
This page was built for publication: On graph rewritings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800736)
