Pages that link to "Item:Q5096270"
From MaRDI portal
The following pages link to Graph Transformations in Computer Science (Q5096270):
Displayed 24 items.
- Path-controlled graph grammars for multiresolution image processing and analysis (Q5096271) (← links)
- Syntax and semantics of hybrid database languages (Q5096272) (← links)
- Decomposability helps for deciding logics of knowledge and belief (Q5096273) (← links)
- Extending graph rewriting with copying (Q5096274) (← links)
- Graph-grammar semantics of a higher-order programming language for distributed systems (Q5096275) (← links)
- Abstract graph derivations in the double pushout approach (Q5096276) (← links)
- Note on standard representation of graphs and graph derivations (Q5096277) (← links)
- Jungle rewriting: An abstract description of a lazy narrowing machine (Q5096278) (← links)
- Recognizable sets of graphs of bounded tree-width (Q5096279) (← links)
- Canonical derivations for high-level replacement systems (Q5096280) (← links)
- A computational model for generic graph functions (Q5096281) (← links)
- Graphs and designing (Q5096282) (← links)
- ESM systems and the composition of their computations (Q5096283) (← links)
- Relational structures and their partial morphisms in view of single pushout rewriting (Q5096284) (← links)
- Single pushout transformations of equationally defined graph structures with applications to actor systems (Q5096285) (← links)
- Parallelism in single-pushout graph rewriting (Q5096286) (← links)
- Semantics of full statecharts based on graph rewriting (Q5096287) (← links)
- Contextual occurrence nets and concurrent constraint programming (Q5096288) (← links)
- Uniform-modelling in graph grammar specifications (Q5096289) (← links)
- Set-theoretic graph rewriting (Q5096290) (← links)
- On relating rewriting systems and graph grammars to event structures (Q5096291) (← links)
- Logic based structure rewriting systems (Q5096292) (← links)
- Guaranteeing safe destructive updates through a type system with uniqueness information for graphs (Q5096293) (← links)
- Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system (Q5096295) (← links)