[{"date_created":"2019-02-20T14:01:39Z","department":[{"_id":"66"}],"user_id":"52534","title":"Embedding of Conditional Graph Transformations","type":"conference","issue":"B-19","language":[{"iso":"eng"}],"publication":"Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science","abstract":[{"text":"Single pushout graph transformations at injective matches are extended by negative application conditions. It is shown, how right-sided application conditions can be transformed into equivalent left-sided ones. Based on this result, conditional derived rules are introduced and a theorem, similiar to the double pushout embedding theorem is shown. Finally, three variants of contextual application conditions are discussed with respect to their expressive power and expected results.","lang":"eng"}],"publisher":"Universitat de les Illes Balears","date_updated":"2019-02-20T14:01:57Z","year":"1995","series_title":"Technical Report","status":"public","_id":"7833","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"citation":{"mla":"Heckel, Reiko. “Embedding of Conditional Graph Transformations.” *Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science*, no. B-19, Universitat de les Illes Balears, 1995.","apa":"Heckel, R. (1995). Embedding of Conditional Graph Transformations. In *Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science*. Universitat de les Illes Balears.","ama":"Heckel R. Embedding of Conditional Graph Transformations. In: *Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science*. Technical Report. Universitat de les Illes Balears; 1995.","chicago":"Heckel, Reiko. “Embedding of Conditional Graph Transformations.” In *Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science*. Technical Report. Universitat de les Illes Balears, 1995.","short":"R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.","bibtex":"@inproceedings{Heckel_1995, series={Technical Report}, title={Embedding of Conditional Graph Transformations}, number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears}, author={Heckel, Reiko}, year={1995}, collection={Technical Report} }","ieee":"R. Heckel, “Embedding of Conditional Graph Transformations,” in *Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science*, 1995, no. B-19."}}]