- Tytuł:
- M-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
- Autorzy:
-
Ehrig, H.
Golas, U.
Habel, A.
Lambers, L.
Orejas, F. - Data publikacji:
- 2012
- Słowa kluczowe:
-
M-adhesive transformation systems
M-adhesive categories
graph replacement categories
nested application conditions
embedding
critical pairs
local confluence - Pokaż więcej
- Dostawca treści:
- BazTech