Liknande böcker

Goldblatt, R.: Axiomatising the Logic of Computer Programming
Bok av Goldblatt
TEMPO
Bok av Neil D. Jones
Thayse, A.: P-Functions and Boolean Matrix Factorization
Bok av André Thayse
Algorithm Theory - SWAT '94 : 4th Scandianvian Workshop on Algorithm The...
Bok av Scandinavian Workshop on Algorithm Theory
Ronse, Christian: Feedback Shift Registers
Bok av Christian Ronse
Community Computing and Support Systems : Social interaction in networke...
Bok
Middleware 2000
Bok
Sandford, David M.: Using Sophisticated Models in Resolution Theorem Pro...
Bok av David M. Sandford

A Relational Theory of Computing

Bok av John G. Sanderson
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.