Ralf - A relation-algebraic formula manipulation system and proof checker
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)