scientific article
From MaRDI portal
Publication:3785985
zbMath0643.68103MaRDI QIDQ3785985
Francesco Parisi-Presicce, Ugo Montanari, Hartmut Ehrig
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
unificationexpert systemsterm rewritingdouble pushoutconcurrency theoremalgebraic theory of graph grammarscolor-preserving graph morphismscomposition of rules
Related Items (14)
Term graph rewriting and garbage collection using opfibrations ⋮ Parallel high-level replacement systems ⋮ Drags: a compositional algebraic framework for graph rewriting ⋮ Unification of drags and confluence of drag rewriting ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Multilevel graph grammars ⋮ Graph unification and matching ⋮ On categorical graph grammars integrating structural transformations and operations on labels ⋮ Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming ⋮ Categorical principles, techniques and results for high-level-replacement systems in computer science ⋮ Graph-based specification of access control policies ⋮ Graph Transformation by Computational Category Theory ⋮ A Formal Model for Role-Based Access Control Using Graph Transformation ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}
This page was built for publication:
