Login
Dokumenttyp:
Zeitschriftenartikel / Journal Article
Titel:
Relational Specifications
Untertitel:
Proceedings XXXVIII Stefan Banach Semester on Algebraic Methods in Logic and Their Computer Science Applications
Herausgeber Sammlung:
Rauszer, C.
Zeitschrift:
Banach Center Publications
Jahrgang:
28
Heftnummer:
1
Verlagsort:
Warsaw, Poland
Verlag:
Institute of Mathematics, Polish Academy of Sciences
Jahr:
1993
Seiten von - bis:
167-190
Sprache:
Englisch
ISSN:
0137-6934
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmidt, Gunther
BibTeX