Skip to main content
SpringerLink
Log in

A partial algebras approach to graph transformation

  • Rewriting Techniques
  • Conference paper
  • First Online:
Book cover Graph Grammars and Their Application to Computer Science (Graph Grammars 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1073))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ricardo Alberich, Manuel Moyà, Francesc Rosselló, and Llorenç Sastre. A note on a paper by Peter Burmeister and Boleslaw Wojdylo. Preprint, 1995.

    Google Scholar 

  2. Peter Burmeister. A Model Theoretic Oriented Approach to Partial Algebras. Introduction to Theory and Application of Partial Algebras—Part I. In Mathematical Research, volume 32. Akademie-Verlag, Berlin, 1986.

    Google Scholar 

  3. Peter Burmeister. Partial Algebras. An Introductory Survey. In Algebras and Orders: Proceedings of the NATO Advanced Study Institute and Séminaire de Mathématiques supérieures on Algebras and Orders, volume 389 of NATO ASI Series C, pages 1–70. Kluwer Academic Publishers, 1993.

    Google Scholar 

  4. Peter Burmeister, Miquel Monserrat, Francesc Rosselló, and Gabriel Valiente. Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach. Preprint, 1995.

    Google Scholar 

  5. Peter Burmeister, Francesc Rosselló, Joan Torrens, and Gabriel Valiente. Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach. Submitted to Theoretical Computer Science, 1995.

    Google Scholar 

  6. Peter Burmeister and Boleslaw Wojdylo. The meaning of basic category theoretical notions in some categories of partial algebras. Technical Report TR 1350, Fachbereich Mathematik, Technische Hochschule Darmstadt, January 1991. Appeared as Parts I and II in Demonstratio Mathematica XXV (1992), pages 583–602 and 973–994 respectively.

    Google Scholar 

  7. Hartmut Ehrig, Martin Korff, and Michael Löwe. Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. In Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorg Rozenberg, editors, Proceedings 4th International Workshop on Graph-Grammars and their Application to Computer Science volume 532 of Lecture Notes in Computer Science, pages 24–37, Berlin, 1991. Springer-Verlag.

    Google Scholar 

  8. Michael Löwe. Algebraic approach to single-pushout graph transformation. Theoretical Computer Science, 109:181–224, 1993.

    Google Scholar 

  9. Julia Padberg. Survey of high-level replacement systems. Technical Report 93-8, Fachbereich Informatik, Technische Universität Berlin, March 1993.

    Google Scholar 

  10. Francesc Rosselló and Gabriel Valiente. Partial algebras for the graph grammarian. In Gabriel Valiente and Francesc Rosselló, editors, Proceedings Colloquium on Graph Transformation and its Application in Computer Science, pages 107–115, Mallorca, 1994. Technical Report UIB-DMI-B-19 (1995).

    Google Scholar 

  11. Gabriel Valiente. On knowledge base redundancy under uncertain reasoning. In Bernadette Bouchon-Meunier, Llorenç Valverde, and Ronald Yager, editors, Proceedings International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU-92, volume 682 of Lecture Notes in Computer Science, pages 321–329, Berlin, 1993. Springer-Verlag.

    Google Scholar 

  12. Gabriel Valiente. Verification of knowledge base redundancy and subsumption using graph transformations. The International Journal of Expert Systems: Research & Applications, 6(3):341–355, September 1993.

    Google Scholar 

  13. Gabriel Valiente. Knowledge Base Verification using Algebraic Graph Transformations. PhD thesis, University of the Balearic Islands, December 1994.

    Google Scholar 

  14. Annika Wagner and Martin Gogolla. Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. To appear in Fundamenta Informatica, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematics and Computer Science Department, University of the Balearic Islands, Spain

    R. Alberich, F. Rosselló & G. Valiente

  2. Fachbereich Mathematik, Arbeitsgruppe Allgemeine Algebra, Technische Hochschule Darmstadt, Germany

    P. Burmeister

  3. Department of Mathematics, Kopernikus University, Toruń, Poland

    B. Wojdyto

Authors
  1. R. Alberich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Burmeister
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F. Rosselló
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. G. Valiente
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. B. Wojdyto
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Janice Cuny Hartmut Ehrig Gregor Engels Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alberich, R., Burmeister, P., Rosselló, F., Valiente, G., Wojdyto, B. (1996). A partial algebras approach to graph transformation. In: Cuny, J., Ehrig, H., Engels, G., Rozenberg, G. (eds) Graph Grammars and Their Application to Computer Science. Graph Grammars 1994. Lecture Notes in Computer Science, vol 1073. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61228-9_75

Download citation

  • DOI: https://doi.org/10.1007/3-540-61228-9_75

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61228-5

  • Online ISBN: 978-3-540-68388-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation