Research Group Theoretical Computer Science
|
||
Mail to webmaster
|
Publications in 1997 (get BIBTeX file):
Andrea Corradini, Frank Drewes: (Cyclic) Term Graph Rewriting is Adequate for Rational Parallel Term Rewriting. Technical report TR-97-14, Dipartimento di Informatica, Pisa, 1997. Frank Drewes, Annegret Habel, Hans-Jörg Kreowski: Hyperedge Replacement Graph Grammars. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 1: Foundations, chapter 2, pages 95-162. World Scientific, 1997. Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire: Criteria to Disprove Context-Freeness of Collage Languages. In B.S. Chlebus, L. Czaja, editors, Proc. Fundamentals of Computation Theory XI, volume 1279 of Lecture Notes in Computer Science, pages 169-178. 1997. Frank Drewes: A Characterization of the Sets of Hypertrees Generated by Hyperedge-Replacement Graph Grammars. Report 3/97, Univ. Bremen, 1997. Revised version appeared in Theory of Computing Systems. Frank Drewes: On the Generation of Trees by Hyperedge Replacement. In I. Prìvara, P. Ruzicka, editors, Proc. Mathematical Foundations of Computer Science 1997, volume 1295 of Lecture Notes in Computer Science, pages 229-238. 1997. Long version appeared in Theory of Computing Systems. Sigrid Ewert, Andries van der Walt: A Pumping Lemma for Random Permitting Context Grammars. In Proc. 12th Annual MSc and PhD Conference in Computer Science, pages 14-17. Department of Computer Science, University of the Witwatersrand, Johannesburg, South Africa, 1997. Full paper to appear in Theoretical Computer Science. Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr: Nested graph transformation units. International Journal on Software Engineering and Knowledge Engineering 7:479-502, 1997. Renate Klempien-Hinrichs: Net Refinement by Pullback Rewriting. Technical report LaBRI TR 1175-97, LaBRI, Université de Bordeaux I, 1997. Revised version appeared in LNCS 1378. Peter Knirsch: Hierarchical Event Structures for the Description of Reactive Systems. 1997. Diploma thesis, Universität Hildesheim. Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas: Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractors. Revista Matematica 10:365-387, 1997.
|
Mail to webmaster
|