An Algebra of Graph Derivations using Finite (co-) limit Double Theories
A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Corradini, Andrea;
Große-Rhode, Martin;
Heckel, Reiko
Department
Publishing Year
Proceedings Title
Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)
forms.conference.field.series_title_volume.label
LNCS
Volume
1589
Page
92-106
LibreCat-ID
Cite this
Corradini A, Große-Rhode M, Heckel R. An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal). Vol 1589. LNCS. Berlin/Heidelberg: Springer; 1999:92-106. doi:http://dx.doi.org/10.1007/3-540-48483-3_7
Corradini, A., Große-Rhode, M., & Heckel, R. (1999). An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal) (Vol. 1589, pp. 92–106). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-48483-3_7
@inproceedings{Corradini_Große-Rhode_Heckel_1999, place={Berlin/Heidelberg}, series={LNCS}, title={An Algebra of Graph Derivations using Finite (co-) limit Double Theories}, volume={1589}, DOI={http://dx.doi.org/10.1007/3-540-48483-3_7}, booktitle={Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)}, publisher={Springer}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1999}, pages={92–106}, collection={LNCS} }
Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “An Algebra of Graph Derivations Using Finite (Co-) Limit Double Theories.” In Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), 1589:92–106. LNCS. Berlin/Heidelberg: Springer, 1999. http://dx.doi.org/10.1007/3-540-48483-3_7.
A. Corradini, M. Große-Rhode, and R. Heckel, “An Algebra of Graph Derivations using Finite (co-) limit Double Theories,” in Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), 1999, vol. 1589, pp. 92–106.
Corradini, Andrea, et al. “An Algebra of Graph Derivations Using Finite (Co-) Limit Double Theories.” Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), vol. 1589, Springer, 1999, pp. 92–106, doi:http://dx.doi.org/10.1007/3-540-48483-3_7.
Google Scholar