共 25 条
[1]
Andrew R.B., 1983, SOME REFINEMENT ALGO
[2]
Baader F., 2006, Term Rewriting and All That
[3]
Baldan P, 2006, LECT NOTES COMPUT SC, V4137, P279
[4]
Boronat A, 2009, LECT NOTES COMPUT SC, V5503, P18
[5]
de la Tour TB, 2019, Arxiv, DOI arXiv:1904.08850
[6]
de la Tour TB, 2018, Arxiv, DOI arXiv:1808.03161
[7]
Verifying Graph Transformation Systems with Description Logics
[J].
GRAPH TRANSFORMATION (ICGT 2018),
2018, 10887
:155-170
[8]
AGREE - Algebraic Graph Rewriting with Controlled Embedding
[J].
GRAPH TRANSFORMATION (ICGT 2015),
2015, 9151
:35-51
[9]
Correa A.S, 2018, GRAPH TRANSFORMATION, P1, DOI DOI 10.1007/978-3-319-75396-61