1. $\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. (26th June 2014) Authors: EHRIG, HARTMUT; GOLAS, ULRIKE; HABEL, ANNEGRET; LAMBERS, LEEN; OREJAS, FERNANDO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. $\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. (26th June 2014) Authors: EHRIG, HARTMUT; GOLAS, ULRIKE; HABEL, ANNEGRET; LAMBERS, LEEN; OREJAS, FERNANDO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions. (26th June 2014) Authors: HERMANN, FRANK; CORRADINI, ANDREA; EHRIG, HARTMUT Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions. (26th June 2014) Authors: HERMANN, FRANK; CORRADINI, ANDREA; EHRIG, HARTMUT Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Combining termination proofs in model transformation systems. (26th June 2014) Authors: BISZTRAY, DÉNES; HECKEL, REIKO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Combining termination proofs in model transformation systems. (26th June 2014) Authors: BISZTRAY, DÉNES; HECKEL, REIKO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Finitary $\mathcal{M}$-adhesive categories. (26th June 2014) Authors: GABRIEL, KARSTEN; BRAATZ, BENJAMIN; EHRIG, HARTMUT; GOLAS, ULRIKE Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Finitary $\mathcal{M}$-adhesive categories. (26th June 2014) Authors: GABRIEL, KARSTEN; BRAATZ, BENJAMIN; EHRIG, HARTMUT; GOLAS, ULRIKE Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Foreword: special issue on structure transformation. (26th June 2014) Authors: MONTANARI, UGO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Foreword: special issue on structure transformation. (26th June 2014) Authors: MONTANARI, UGO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗