Login
Dokumenttyp:
Sammelbandbeitrag / Paper in Collective Volume
Titel:
Relation Algebra and Logic of Programs
Titel Sammlung:
Algebraic Logic
Herausgeber Sammlung:
Andréka, Hajnal; Monk, J. D.; Németi, Istvan
Reihentitel:
Colloquia Mathematica Societatis János Bolyai
Bandnummer Reihe:
54
Verlagsort:
Budapest
Verlegende Institution:
Budapest University
Jahr:
1991
Seiten von - bis:
37-58
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmidt, Gunther
BibTeX