Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development., and . TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 3-24. Springer, (1995)Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme., , and . Formale Modelle für Informationssysteme, volume 21 of Informatik-Fachberichte, page 181-198. Springer, (1979)Parameterized Data Types and Parameter Passing.. ADT, University of Dortmund, (1982)Integration Paradigm for Data Type and Process Specification Techniques., and . Current Trends in Theoretical Computer Science, World Scientific, (2001)Embedding Theorem in the Algebraic Theory of Graph Grammars.. FCT, volume 56 of Lecture Notes in Computer Science, page 245-255. Springer, (1977)The Construct PRO of Projection Spaces: Its Internal Structure., and . Categorial Methods in Computer Science, volume 393 of Lecture Notes in Computer Science, page 286-293. Springer, (1988)Semantical Constructions for Categories of Behavioural Specifications., , and . Categorial Methods in Computer Science, volume 393 of Lecture Notes in Computer Science, page 220-243. Springer, (1988)Stepwise Specification and Implementation of Abstract Data Types., , and . ICALP, volume 62 of Lecture Notes in Computer Science, page 205-226. Springer, (1978)From Algebraic Graph Transformation to Adhesive HLR Categories and Systems., and . CAI, volume 4728 of Lecture Notes in Computer Science, page 122-146. Springer, (2007)Parallelism of Manipulations in Multidimensional Information Structures., and . MFCS, volume 45 of Lecture Notes in Computer Science, page 284-293. Springer, (1976)