A Relational Theory of Computing [electronic resource] / by John G. Sanderson.
Material type: TextSeries: Lecture Notes in Computer Science ; 82Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Description: VI, 147 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540392569Subject(s): Computer science | Computer software | Computer Science | Algorithm Analysis and Problem ComplexityAdditional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.9.A43Online resources: Click here to access online
Contents:
In:
Springer eBooks
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.
Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK4614 |
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.
There are no comments on this title.