Categorical Methods In Computer Science: With Aspects From Topology

By Hartmut Ehrig, H. Herrlich, H. Ehrig, H. J. Krewski, Hartmut Ehrig (Auth.), H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß (Eds.)

This Volume Contains Selected Papers Of The International Workshop On Categorical Methods In Computer Science - With Aspects From Topology And Of The 6th International Data Type Workshop Held In Au...

Graph Grammars And Their Application To Computer Science 4th International Workshop Bremen, ...

By Grzegorz Rozenberg, H. Ehrig, Hartmut Ehrig, Hans-Jörg Kreowski, H.-J Kreowski, Graph Grammars And Their Application To Computer Science

"This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source o...

Graph-Grammars And Their Application To Computer Science And Biology

By H. E., H. Ehrig, Volker Claus, G. Rozenberg, V. Claus

Graph-Grammars And Their Application To Computer Science: 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982

By Hartmut Ehrig, G, H. Ehrig, G. Rozenberg, M. Nagl, Ehrig, H. And Nagl, M. And Rozenberg, B. Bartsch-Spörl (Auth.), Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg (Eds.)

Grammatical inference of graph grammars for syntactic pattern recognition....Pages 1-7 Graph grammars as a generative tool in image understanding....Pages 8-19 Graph grammars for distributed system...

Fundamentals Of Algebraic Graph Transformation

By Karsten Ehrig, Hartmut Ehrig, G. Taentzer, Franklin D. Jones, Gabriele Taentzer, H. Ehrig, Holbrook L. Horton, Erik Oberg, U. Prange, Ulrike Prange, Henry H. Ryffel, K. Ehrig, Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer

Graphs Are Widely Used To Represent Structural Information In The Form Of Objects And Connections Between Them. Graph Transformation Is The Rule-based Manipulation Of Graphs, An Increasingly Import...

Mathematisch-Strukturelle Grundlagen Der Informatik (Springer-Lehrbuch) (German Edition)

By B. Mahr, Hartmut Ehrig, Bernd Mahr, M. Große-Rhode, F. Cornelius, H. Ehrig, Martin Große-Rhode, P. Zeitz, Prof. Dr. Hartmut Ehrig, Prof. Dr. Bernd Mahr, Dr. Martin Große-Rhode, Dr. Ing. Felix Cornelius, Dr. Philip Zeitz (Auth.)

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für...

Unifying Petri Nets: Advances In Petri Nets

By Hartmut Ehrig, Grzegorz Rozenberg, H. Ehrig, Julia Padberg, Gabriel Juhas, G. Rozenberg, G. Juhas, J. Padberg, Jörg Desel, Gabriel Juhás (Auth.), Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg (Eds.)

Since Their Introduction Nearly 40 Years Ago, Research On Petri Nets Has Diverged In Many Different Directions. Various Classes Of Petri Net, Motivated Either By Theory Or Applications, With Its Ow...

Graph-Grammars And Their Application To Computer Science And Biology

By H. Ehrig, Claus, G. Rozenberg, V. Claus

Handbook Of Graph Grammars And Computing By Graph Transformations Vol. 2

By Hartmut Ehrig, Grzegorz Rozenberg, H. Ehrig, G. Engels

Handbook Of Graph Grammars And Computing By Graph Transformations Vol. 3

By H. Ehrig, Ugo Montanari, Hans-Jorg Kreowski