University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH
Publications in 1995 (get BIBTeX file):

Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: Generating self-affine fractals by collage grammars. Theoretical Computer Science 145:159-187, 1995.

Frank Drewes: Semirings and Tree-to-Graph-to-Tree Transductions. In A. Corradini, U. Montanari, editors, Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95), volume 2 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1995.

Sabine Kuske: Semantic Aspects of the Graph and Rule Centered Language GRACE. In Francesc Rosselló Llompart, Gabriel Valiente Feruglio, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science, Technical Report, Palma de Mallorca, pages 63-70. 1995.

Sabine Kuske: Implementing -reduction by hypergraph rewriting. In A. Corradini, U. Montanari, editors, Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95), volume 2 of Electronic Notes in Theoretical Computer Science, pages 159-166. Elsevier Science, 1995.

Hans-Jörg Kreowski, Thomas Risse, Andreas Spillner, Ralf Streibl, Karin Vosseberg, editors: Realität und Utopien der Informatik. Agenda Verlag, Münster, 1995.

Hans-Jörg Kreowski, Till Mossakowski: Equivalence and Difference of Institutions: Simulating Horn Clause Logic with Based Algebras. Mathematical Structures in Computer Science 5:189-215, 1995.

Hans-Jörg Kreowski: Specification and Programming (by Graph Transformation). In Andrea Corradini, Ugo Montanari, editors, Proc. Joint Workshop on Graph Rewriting and Computation COMPUGRAPH/SEMAGRAPH, volume 2 of Electronic Notes in Computer Science. Springer, 1995.

Hans-Jörg Kreowski: Graph Grammars for Software Specification and Programming: An Eulogy in Praise of GRACE. In Francesco Rosselló Llompart, Gabriel Valiente, editors, Colloquium on Gaph Transformation and its Application in Computer Science, pages 55-61. 1995.


Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de