Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars
2021 ◽
pp. 283-293
Keyword(s):
2019 ◽
Vol 7
(3)
◽
pp. 326-330
Keyword(s):
2009 ◽
Vol 19
(2)
◽
pp. 137-161
◽
1993 ◽
Vol 45
(2)
◽
pp. 89-94
◽