Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
Relational Specifications
Subtitle:
Proceedings XXXVIII Stefan Banach Semester on Algebraic Methods in Logic and Their Computer Science Applications
Collection editors:
Rauszer, C.
Journal:
Banach Center Publications
Volume:
28
Issue:
1
Place of publication:
Warsaw, Poland
Publisher:
Institute of Mathematics, Polish Academy of Sciences
Year:
1993
Pages from - to:
167-190
Language:
Englisch
ISSN:
0137-6934
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmidt, Gunther
BibTeX