Login / Signup

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

Maria MaximovaHartmut EhrigClaudia Ermel
Published in: Sci. Comput. Program. (2015)
Keyphrases