Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Ralf - A relation-algebraic formula manipulation system and proof checker
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)
Konferenztitel:
AMAST’93
Tagungsort:
Enschede
Jahr der Konferenz:
1993
Datum Beginn der Konferenz:
21.06.2013
Datum Ende der Konferenz:
25.06.2013
Verlag:
Springer-Verlag
Jahr:
1994
Seiten von - bis:
405-406
Sprache:
Englisch
ISBN:
978-3-540-19852-9
ISSN:
1431-1682
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmidt, Gunther
BibTeX