( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstract Graph Derivations in the Double Pushout Approach.

, , , , и . Dagstuhl Seminar on Graph Transformations in Computer Science, том 776 из Lecture Notes in Computer Science, стр. 86-103. Springer, (1993)

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.

Hartmut Ehrig

Hartmut Ehrig

Ehrig Lange

Gerhard Ehrig

Bodo Ehrig

 

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

Concurrent Transformations of Graphs and Relational Structures., и . WG, стр. 76-88. Universitätsverlag Rudolf Trauner, Linz, (1983)Restriction Constructions in Specification Logics., и . Current Trends in Theoretical Computer Science, том 40 из World Scientific Series in Computer Science, World Scientific, (1993)Algebraic Specification.. Current Trends in Theoretical Computer Science, том 40 из World Scientific Series in Computer Science, World Scientific, (1993)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)