Berghammer, Rudolf; Haeberer, Armando Martín; Schmidt, Gunther; Veloso, Paulo A. S.
Document type:
Konferenzbeitrag / Conference Paper
Title:
Comparing Two Different Approaches to Products in Abstract Relation Algebra
Collection editors:
Nivat, Maurice; Rattray, Charles; Rus, Teodore; Scollo, Giuseppe
Title of conference publication:
Algebraic Methodology and Software Technology (AMAST’93)
Subtitle of conference publication:
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Series title:
Workshops in Computing
Conference title:
International Conference Algebraic Methodology and Software Technology (3., 1993, Enschede)