@dblp

Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg.

, , and . Sci. Comput. Program., (2015)

Links and resources

Tags