in the setting of graph transformation based on single pushout approach. ... NG = NGΩ + NGX The set of unlabeled nodes of G , where “+” stands for the ...
確定! 回上一頁