Local confluence for rules with nested application conditions based on a new critical pair notion - Lambers, Leen; Ehrig, Hartmut 1944-2016; Habel, Annegret; Orejas, Fernando; Golas, Ulrike 1980- (Technische Universität Berlin, 2010)
Keywords: Konfluenz -- Informatik; Graphersetzungssystem; Forschungsbericht