|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence |
Ehrig, Hartmut |
2012 |
118 | 1-2 |
p. 35-63 |
article |
|
| 2 | Adhesivity with Partial Maps instead of Spans |
Heindel, Tobias |
2012 |
118 | 1-2 |
p. 1-33 |
article |
|
| 3 | Counterpart Semantics for a Second-Order μ-Calculus |
Gadducci, Fabio |
2012 |
118 | 1-2 |
p. 177-205 |
article |
|
| 4 | Hoare-Style Verification of Graph Programs |
Poskitt, Christopher M. |
2012 |
118 | 1-2 |
p. 135-175 |
article |
|
| 5 | Lazy Graph Transformation |
Orejas, Fernando |
2012 |
118 | 1-2 |
p. 65-96 |
article |
|
| 6 | Preface |
Rensink, Arend |
2012 |
118 | 1-2 |
p. v-vii |
article |
|
| 7 | Transformation of Typed Composite Graphs with Inheritance and Containment Structures |
Jurack, Stefan |
2012 |
118 | 1-2 |
p. 97-134 |
article |
7 results found