Pages that link to "Item:Q4379556"
From MaRDI portal
The following pages link to Handbook of Graph Grammars and Computing by Graph Transformation (Q4379556):
Displayed 20 items.
- Navigating the chemical space of HCN polymerization and hydrolysis: guiding graph grammars by mass spectrometry data (Q280605) (← links)
- Prosperity is associated with instability in dynamical networks (Q289450) (← links)
- Configuration logics: modeling architecture styles (Q347359) (← links)
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Connectivity games over dynamic networks (Q391110) (← links)
- Graphs of separability at most 2 (Q415268) (← links)
- Decomposition width of matroids (Q415290) (← links)
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes (Q418764) (← links)
- Polynomial graph transformability (Q418788) (← links)
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- On the directed full degree spanning tree problem (Q456701) (← links)
- Graphical and incremental type inference. A graph transformation approach (Q526459) (← links)
- Translating controlled graph grammars to ordinary graph grammars (Q529641) (← links)
- Algebraic hierarchical graph transformation (Q596311) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Graph grammars with string-regulated rewriting (Q652154) (← links)
- Spanners in sparse graphs (Q657919) (← links)