Browse by Author Habel, Annegret
Showing results 1 to 3 of 3
Preview | Issue Date | Title | Author(s) | Editor(s) |
 | 2010 | Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion | Lambers, Leen; Ehrig, Hartmut; Habel, Annegret; Orejas, Fernando; Golas, Ulrike | - |
 | 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 | - |