Pages that link to "Item:Q5712442"
From MaRDI portal
The following pages link to Relational and Kleene-Algebraic Methods in Computer Science (Q5712442):
Displaying 8 items.
- A shape graph logic and a shape system (Q744329) (← links)
- Extending C for checking shape safety (Q2852056) (← links)
- Modeling pointer redirection as cyclic term-graph rewriting (Q2867899) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Adaptive Star Grammars for Graph Models (Q3540417) (← links)
- Workshop on Graph Computation Models (Q3540419) (← links)
- Confluence up to Garbage (Q5100723) (← links)
- Languages and Compilers for Parallel Computing (Q5714219) (← links)