Research Catalog

A relational theory of computing

Title
A relational theory of computing / John G. Sanderson.
Author
Sanderson, John G., 1929-
Publication
Berlin ; New York : Springer-Verlag, 1980.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.6 .S262Off-site

Details

Description
vi, 147 pages; 24 cm
Series Statement
Lecture notes in computer science ; 82
Uniform Title
Lecture notes in computer science ; 82.
Subject
  • Computer programming
  • Metamathematics
  • computer programming
  • Berechenbarkeit
  • Boolesche Algebra
  • Mathematische Logik
  • Mengenlehre
  • Programmiersprache
  • Programmierung
  • Relation Mathematik
  • Teoria Da Computacao
  • Logica E Semantica De Programacao
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. 141-143.
Contents
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.
ISBN
  • 0387099875
  • 9780387099873
  • 3540099875
  • 9783540099871
LCCN
80014303
OCLC
  • ocm06250665
  • 6250665
  • SCSB-7939
Owning Institutions
Princeton University Library