共 50 条
- [22] Verifying Graph Programs with Monadic Second-Order Logic GRAPH TRANSFORMATION, ICGT 2021, 2021, 12741 : 240 - 261
- [23] Encouraging second-order consistency for multiple graph matching Machine Vision and Applications, 2016, 27 : 1021 - 1034