Relational methods in computer science /

The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonc...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Brink, C. (Chris), Kahl, W. (Wolfram), Schmidt, Gunther, 1939-
Format:	eBook
Language:	English
Published:	Wien ; New York : Springer, [1997]
Series:	Advances in computing science.
Subjects:	Computer science > Mathematics. Relation algebras. Aufsatzsammlung. Datenverarbeitung. Mathematische Logik. Relation (Mathematik) Relationenalgebra. Electronic books.
Online Access:	Connect to the full text of this electronic book