Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.

Ira FesefeldtChristoph MathejaThomas NollJohannes Schulte
Published in: ICGT (2021)
Keyphrases