Login
Document type:
Sammelbandbeitrag / Paper in Collective Volume
Title:
Relation Algebra and Logic of Programs
Collection title:
Algebraic Logic
Collection editors:
Andréka, Hajnal; Monk, J. D.; Németi, Istvan
Series title:
Colloquia Mathematica Societatis János Bolyai
Series volume:
54
Place of publication:
Budapest
Publishing institution:
Budapest University
Year:
1991
Pages from - to:
37-58
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmidt, Gunther
BibTeX