A Relational Theory of Computing

Specificaties
Paperback, 147 blz. | Engels
Springer Berlin Heidelberg | 1980e druk, 1980
ISBN13: 9783540099871
Rubricering
Springer Berlin Heidelberg 1980e druk, 1980 9783540099871
Onderdeel van serie Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen

Specificaties

ISBN13:9783540099871
Taal:Engels
Bindwijze:paperback
Aantal pagina's:147
Uitgever:Springer Berlin Heidelberg
Druk:1980

Inhoudsopgave

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.

Rubrieken

    Personen

      Trefwoorden

        A Relational Theory of Computing