@article(Ehrig-Habel-Kreowski:92, author = {Hartmut Ehrig and Annegret Habel and Hans{-}J{\"{o}}rg Kreowski}, year = {1992}, title = {Introduction to graph grammars with applications to semantic networks}, journal = {Computers and Mathematics with Applications}, volume = {23}, number = {6--9}, pages = {557--572}, doi = {10.1016/0898-1221(92)90124-Z}, ) @inproceedings(Habel-Plump:01, author = {Annegret Habel and Detlef Plump}, year = {2001}, title = {Computational Completeness of Programming Languages Based on Graph Transformation}, editor = {Furio Honsell and Marino Miculan}, booktitle = {Proc.~Foundations of Software Science and Computation Structures (FOSSACS 2001)}, series = {Lecture Notes in Computer Science}, volume = {2030}, publisher = {Springer}, pages = {230--245}, doi = {10.1007/3-540-45315-6\_15}, ) @book(Hopcroft-Motwani-Ullman:03, author = {John~E. Hopcroft and Rajeev Motwani and Jeffrey~D. Ullman}, year = {2003}, title = {Introduction to automata theory, languages, and computation - international edition {(2.} ed)}, publisher = {Addison-Wesley}, ) @book(Hromkovic:04, author = {Juraj Hromkovic}, year = {2004}, title = {Theoretical computer science}, series = {Texts in theoretical computer science, EATCS series}, publisher = {Springer}, address = {Berlin}, doi = {10.1007/978-3-662-05269-3}, ) @incollection(Kreowski:93b, author = {Hans-J{\"o}rg Kreowski}, year = {1993}, title = {Translations into the Graph Grammar Machine}, editor = {Ronan Sleep and Rinus Plasmeijer and {van Eekelen}, Marko}, booktitle = {Term Graph Rewriting: Theory and Practice}, chapter = {13}, publisher = {John Wiley}, address = {New York}, pages = {171--183}, ) @incollection(Kreowski-Klempien-Hinrichs-Kuske:2005, author = {Hans-J{\"o}rg Kreowski and {Klempien-Hinrichs}, Renate and Sabine Kuske}, year = {2006}, title = {Some Essentials of Graph Transformation}, editor = {Zolt{\'{a}}n {\'{E}}sik and Mart{\'{\i}}n{-}Vide, Carlos and Victor Mitrana}, booktitle = {Recent Advances in Formal Languages and Applications}, series = {Studies in Computational Intelligence}, volume = {25}, publisher = {Springer}, pages = {229--254}, doi = {10.1007/978-3-540-33461-3\_9}, ) @inproceedings(Kreowski-Kuske-Lye:17a, author = {Hans-J{\"o}rg Kreowski and Sabine Kuske and Aaron Lye}, year = {2017}, title = {{Fusion Grammars: A Novel Approach to the Generation of Graph Languages}}, editor = {Detlef Plump and Juan de~Lara}, booktitle = {Proc. 10th International Conference on Graph Transformation (ICGT 2017)}, series = {Lecture Notes in Computer Science}, volume = {10373}, publisher = {Springer}, pages = {90--105}, doi = {10.1007/978-3-319-61470-0}, ) @inproceedings(Kreowski-Kuske-Lye:18b, author = {Hans{-}J{\"{o}}rg Kreowski and Sabine Kuske and Aaron Lye}, year = {2018}, title = {Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars}, editor = {Leen Lambers and Jens~H. Weber}, booktitle = {Proc. 11th International Conference on Graph Transformation (ICGT 2018)}, series = {LNCS}, volume = {10887}, publisher = {Springer}, pages = {3--19}, doi = {10.1007/978-3-319-92991-0\_1}, ) @inproceedings(Kreowski-Kuske-Lye:19a, author = {Hans{-}J{\"{o}}rg Kreowski and Sabine Kuske and Aaron Lye}, year = {2019}, title = {Transformation of {Petri} Nets into Context-Dependent Fusion Grammars}, editor = {Mart{\'{\i}}n{-}Vide, Carlos and Alexander Okhotin and Dana Shapira}, booktitle = {Proc. 13th International Conference on Language and Automata Theory and Applications (LATA 2019)}, series = {LNCS}, volume = {11417}, publisher = {Springer}, pages = {246--258}, doi = {10.1007/978-3-030-13435-8\_18}, ) @inproceedings(Lye:18, author = {Aaron Lye}, year = {2018}, title = {Decidability and Complexity of the Membership and Emptiness Problem of Fusion Grammars}, booktitle = {Pre-Proc. 9th International Workshop on Graph Computation Models, (GCM 2018)}, ) @article(Turing:36, author = {Alan~M. Turing}, year = {1936}, title = {On Computable Numbers, with an Application to the Entscheidungsproblem}, journal = {Proceedings of the London Mathematical Society}, volume = {2}, number = {42}, pages = {230--265}, doi = {10.1112/plms/s2-42.1.230}, note = {A correction was published in Proceedings of the London Mathematical Society. 2 (1937). 43 (6): 544–6.}, ) @article(Uesu:78, author = {Tadahiro Uesu}, year = {1978}, title = {A system of graph grammars which generates all recursively enumerable sets of labelled graphs}, journal = {Tsukuba journal of mathematics}, volume = {2}, pages = {11--26}, doi = {10.21099/tkbjm/1496158502}, )