- Tytuł:
- Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
- Autorzy:
-
Ehrig, H.
Padberg, J.
Prange, U. - Data publikacji:
- 2006
- Słowa kluczowe:
-
high-level replacement systems
adhesive categories
adhesive HLR categories
graph transformation
local confluence of transformations
Critical Pair Lemma - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł