( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.

, , , , и . Comput., 2 (1): 31-49 (2013)

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

 

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

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)Concurrent Transformations of Graphs and Relational Structures., и . WG, стр. 76-88. Universitätsverlag Rudolf Trauner, Linz, (1983)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)Fundamentals of Algebraic Specification 2, и . EATCS Monographs on Theoretical Computer Science Springer, (1990)Grammars on Partial Graphs., и . Acta Inf., (1976)Revie of Dines Bjørner's Textbooks Software Engineering 1-3.. Bulletin of the EATCS, (2006)Universal Theory of Automata. A Categorical Approach, и . Studienbücher Informatik Teubner, (1974)The Construct PRO of Projection Spaces: Its Internal Structure., и . Categorial Methods in Computer Science, том 393 из Lecture Notes in Computer Science, стр. 286-293. Springer, (1988)Semantical Constructions for Categories of Behavioural Specifications., , и . Categorial Methods in Computer Science, том 393 из Lecture Notes in Computer Science, стр. 220-243. Springer, (1988)