Applicability of a production in a categorical grammar
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)
Section B Computation Theory in Category
KeywordsDirect Derivation Natural Transformation Target Node Transitive Closure Full Subcategory
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- Ehrig H., Pfender M., Schneider H.J.: Graph-grammars-an algebraic approach, Proc. Conf. Switch. Automat. Theory 1973, pp 167–180Google Scholar
- Ehrig H., Kreowski H.J.: Categorical theory of graphical systems and graph-grammars, Springer Lecture Notes in Econ.Math.Syst. 131 1976, 323–351Google Scholar
- Rosen B.K.: Deriving graphs from graphs by applying a production, Acta Informatica 4, pp 337–357, 1975Google Scholar
© Springer-Verlag Berlin Heidelberg 1977