[{"publisher":"Universitat de les Illes Balears","series_title":"Technical Report","publication":"Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science","language":[{"iso":"eng"}],"date_updated":"2019-02-20T14:01:57Z","_id":"7833","type":"conference","status":"public","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"}],"year":"1995","title":"Embedding of Conditional Graph Transformations","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"department":[{"_id":"66"}],"citation":{"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} }","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.","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.","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.","short":"R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995."},"date_created":"2019-02-20T14:01:39Z","user_id":"52534","issue":"B-19"}]