From post

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.

 

Другие публикации лиц с тем же именем

Concurrent Transformations of Graphs and Relational Structures., и . WG, стр. 76-88. Universitätsverlag Rudolf Trauner, Linz, (1983)Fundamentals of Algebraic Specification 2, и . EATCS Monographs on Theoretical Computer Science Springer, (1990)Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars., и . Graph-Grammars and Their Application to Computer Science, том 532 из Lecture Notes in Computer Science, стр. 292-310. Springer, (1990)Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification).. Bulletin of the EATCS, (2004)Algebraic Techniques in Software Development., и . Bulletin of the EATCS, (1996)Dynamic Abstract Data Types: An informal Proposal., и . Bulletin of the EATCS, (1994)How to Transfer Concepts of Abstract Data Types to Petri Nets?, , и . Bulletin of the EATCS, (1997)Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).. Bulletin of the EATCS, (2004)Algebraic Specification Schemes for Data Base Systems., , и . VLDB, стр. 427-440. IEEE Computer Society, (1978)Specification of Modular Systems, и . University of Dortmund, Report 198, (1985)