Pages that link to "Item:Q4729378"
From MaRDI portal
The following pages link to Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations (Q4729378):
Displaying 10 items.
- The string generating power of context-free hypergraph grammars (Q1176107) (← links)
- A regular characterization of graph languages definable in monadic second-order logic (Q1177179) (← links)
- Computing with graph rewriting systems with priorities (Q1261464) (← links)
- Logical and schematic characterization of complexity classes (Q1323362) (← links)
- Refined Graph Rewriting in Span-Categories (Q2918976) (← links)
- Graph Transformation by Computational Category Theory (Q3059706) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- (Q4431332) (← links)
- Workshop on logic, graph transformations and discrete structures (Q4438805) (← links)
- Graph Transformations (Q5292605) (← links)