The following pages link to (Q3785985):
Displaying 15 items.
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- Restricted combinatory unification (Q2305407) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Graph-based specification of access control policies (Q2486563) (← links)
- Unification of drags and confluence of drag rewriting (Q2683036) (← links)
- Graph Transformation by Computational Category Theory (Q3059706) (← links)
- Graph unification and matching (Q4645268) (← links)
- Extending graph rewriting with copying (Q5096274) (← links)
- A Formal Model for Role-Based Access Control Using Graph Transformation (Q5862299) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)