Berghammer, Rudolf; Haeberer, Armando Martín; Schmidt, Gunther; Veloso, Paulo A. S.
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Comparing Two Different Approaches to Products in Abstract Relation Algebra
Herausgeber Sammlung:
Nivat, Maurice; Rattray, Charles; Rus, Teodore; Scollo, Giuseppe
Titel Konferenzpublikation:
Algebraic Methodology and Software Technology (AMAST’93)
Untertitel Konferenzpublikation:
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Reihentitel:
Workshops in Computing
Konferenztitel:
International Conference Algebraic Methodology and Software Technology (3., 1993, Enschede)