%0 Conference Paper %1 conf/gg/FesefeldtM0S21 %A Fesefeldt, Ira %A Matheja, Christoph %A Noll, Thomas %A Schulte, Johannes %B ICGT %D 2021 %E Gadducci, Fabio %E Kehrer, Timo %I Springer %K dblp %P 283-293 %T Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. %U http://dblp.uni-trier.de/db/conf/gg/icgt2021.html#FesefeldtM0S21 %V 12741 %@ 978-3-030-78946-6

@inproceedings{conf/gg/FesefeldtM0S21, added-at = {2021-07-13T00:00:00.000+0200}, author = {Fesefeldt, Ira and Matheja, Christoph and Noll, Thomas and Schulte, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/210fd61c4d21b23a4a30cb588b98ad6c8/dblp}, booktitle = {ICGT}, crossref = {conf/gg/2021}, editor = {Gadducci, Fabio and Kehrer, Timo}, ee = {https://doi.org/10.1007/978-3-030-78946-6_15}, interhash = {98643bfe5bfd20bfcb1fb8d2ec702fa9}, intrahash = {10fd61c4d21b23a4a30cb588b98ad6c8}, isbn = {978-3-030-78946-6}, keywords = {dblp}, pages = {283-293}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:35:39.000+0200}, title = {Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.}, url = {http://dblp.uni-trier.de/db/conf/gg/icgt2021.html#FesefeldtM0S21}, volume = 12741, year = 2021 }