Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
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)
Conference title:
AMAST’93
Venue:
Enschede
Year of conference:
1993
Date of conference beginning:
21.06.2013
Date of conference ending:
25.06.2013
Publisher:
Springer-Verlag
Year:
1994
Pages from - to:
405-406
Language:
Englisch
ISBN:
978-3-540-19852-9
ISSN:
1431-1682
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmidt, Gunther
BibTeX