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