- Tytuł:
- Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories
- Autorzy:
-
Ehrig, H.
Ehrig, K.
Prange, U.
Taentzer, G. - Data publikacji:
- 2006
- Słowa kluczowe:
-
typed attributed graph transformation
adhesive HLR categories
local confluence of transformations
Critical Pair Lemma - Pokaż więcej
- Dostawca treści:
- BazTech