RelView - A computer system for the manipulation of relations
Subtitle:
(Notes to a system demonstration)
Collection title:
Algebraic Methodology and Software Technology (AMAST’93)
Collection subtitle:
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Collection editors:
Nivat, Maurice; Rattray, Charles; Rus, Teodore; Scollo, Giuseppe
Series title:
Workshops in Computing
Conference title:
International Conference Algebraic Methodology and Software Technology (3., 1993, Enschede)