Buch
Übersicht
Verlag | : | Springer Berlin |
Buchreihe | : | Lecture Notes in Computer Science (Bd. 82) |
Sprache | : | Englisch |
Erschienen | : | 01. 05. 1980 |
Seiten | : | 147 |
Einband | : | Kartoniert |
Höhe | : | 233 mm |
Breite | : | 155 mm |
Gewicht | : | 520 g |
ISBN | : | 9783540099871 |
Sprache | : | Englisch |
Inhaltsverzeichnis
The components of a relational calculus.- A comparison of some relational calculi.- Properties of relators.- The extension of a calculus.- Types and structures.- Programs.- Assignment and efficiency.- Metatheory.- Conclusions.