Browse by Author Ehrig, Hartmut
Showing results 1 to 5 of 5
| Preview | Issue Date | Title | Author(s) | Editor(s) |
 | 2014 | Analysis of permutation equivalence in M-adhesive transformation systems with negative application conditions | Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut | - |
 | 2014 | Finitary M-adhesive categories | Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike | - |
 | 2014 | Formal analysis of model transformations based on triple graph grammars | Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando | - |
 | 2014 | M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation | Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando | - |
 | 2014 | Multi-amalgamation of rules with application conditions in M-adhesive categories | Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut | - |