Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar
TAPSOFT, 1989.
@inproceedings{CAAP-1989-HabelKV, author = "Annegret Habel and Hans-Jörg Kreowski and Walter Vogler", booktitle = "{Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-50939-9_138", isbn = "3-540-50939-9", pages = "275--289", publisher = "{Springer}", title = "{Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar}", year = 1989, }