Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars

Author(s):  
Ira Fesefeldt ◽  
Christoph Matheja ◽  
Thomas Noll ◽  
Johannes Schulte
2019 ◽  
Vol 7 (3) ◽  
pp. 326-330
Author(s):  
Thanga Murugeshwari. V ◽  
Emerald Princess Sheela J.D.

Sign in / Sign up

Export Citation Format

Share Document