Gerhard Buntrock, Frank Drewes, Clemens Lautemann, Till Mossakowski: Some Modifications of Auxiliary Pushdown Automata. RAIRO Theoretical Informatics and Applications 25:545-556, 1991.
Frank Drewes, H.-J. Kreowski: A Note on Hyperedge Replacement. In H. Ehrig, H.-J. Kreowski, G. Rozenberg, editors, Proc. Fourth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci., volume 532 of Lecture Notes in Computer Science, pages 1-11. Springer, 1991.
Frank Drewes, Clemens Lautemann: Incremental termination proofs and the length of derivations. In Proc. RTA-91, volume 488 of Lecture Notes in Computer Science, pages 49-61. Springer, 1991.
Frank Drewes: Recognising k-connected hypergraphs in cubic time. Report 3/91, Univ. Bremen, 1991.
Hans-Jörg Kreowski: Logische Grundlagen der Informatik - Handbuch der Informatik 1.1. Oldenbourg-Verlag, München, 1991. 165 Seiten.
Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (ed.): Algebraic System Specification and Development - A Survey and Annotated Bibliography, volume 501. Lecture Notes in Computer Science. Springer, 1991.
Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (ed.): Proc. 4th International Workshop on Graph Grammars and Their Application to Computer Science, volume 532. Lecture Notes in Computer Science. Springer, 1991.
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle Evalutation. Fundamenta Informaticae 15:37-60, 1991.
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler: Dedicable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement. Theoretical Computer Science 89:33-62, 1991.
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce: Parallelism and Concurrency in High-level Replacement Systems. Journal of Mathematical Structures in Computer Science 1:361-404, 1991.
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce: From Graph Grammars to High-Level Replacement Systems. In Hartmut Ehrig et al., editor, Proc. International Workshop on Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 269-291. Springer, 1991.
Annegret Habel, Hans-Jörg Kreowski: Collage Grammars. In Hartmut Ehrig et al., editor, Proc. International Workshop on Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 411-429. Springer, 1991.
Eric Jeltsch, Hans-Jörg Kreowski: Grammatical Inference Based on Hyperedge Replacement. In Hartmut Ehrig et al., editor, Proc. International Workshop on Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 461-474. Springer, 1991.
Berthold Hoffmann, Detlef Plump: Implementing term rewriting by jungle evaluation. RAIRO Theor. Informatics Appl. 25:445-472, 1991.
Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. In Sren Prehn, W. J. Toetenel, editors, VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, volume 551 of Lecture Notes in Computer Science, pages 668-669. Springer, 1991.
Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. In Christian Choffrut, Matthias Jantzen, editors, STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, volume 480 of Lecture Notes in Computer Science, pages 539-540. Springer, 1991.
