Cover Image

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

Similar Items

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers /
Published: (2004)

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
Published: (1984)

A relational theory of computing /
by: Sanderson, John G., 1929-
Published: (1980)

Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings /
Published: (1990)

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /
Published: (1992)

Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory /
Published: (1992)

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /
Published: (1981)

A course in mathematical logic for mathematicians /
by: Manin, I︠U︡. I.
Published: (2010)

Mathematical logic /
by: Tourlakis, George J.
Published: (2008)

Applications of geometric algebra in computer science and engineering /
Published: (2002)

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 /
Published: (1979)

A beginner's guide to discrete mathematics /
by: Wallis, W. D.
Published: (2003)

Fundamentals of digital machine computing.
by: Hintze, Guenther
Published: (1966)

Introduction to numerical computations /
by: Vandergraft, James S.
Published: (1978)

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /
Published: (1975)

Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 /
Published: (1991)

New trends in mathematical programming : homage to Steven Vajda /
Published: (1998)

Linear algebra for large scale and real-time applications /
Published: (1993)

Science, computers, and people : from the tree of mathematics /
by: Ulam, Stanislaw M.
Published: (1986)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
Published: (1975)

Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /
Published: (1968)

Left principal ideal rings /
by: Jategaonkar, A. V.
Published: (1970)

Modeling in applied sciences : a kinetic theory approach /
Published: (2000)

Varieties of lattices /
by: Jipsen, Peter, 1964-
Published: (1992)

Systems methodology in social science research : recent developments /
Published: (1982)

Abhandlung über die Prinzipien der Logik : mit einer Rekonstruktion der Aristotelischen Syllogistik /
by: Wolff, Michael, 1942-
Published: (2009)

A comprehensive textbook of classical mathematics : a contemporary interpretation /
by: Griffiths, H. Brian (Hubert Brian), et al.
Published: (1970)

Continuum modeling in the physical sciences /
Published: (2007)

Mathematical problems in theoretical physics : proceedings of the International Conference on Mathematical Physics held in Lausanne, Switzerland, August 20-25, 1979 /
Published: (1980)

Categories of algebraic systems : vector and projective spaces, semigroups, rings, and lattices /
by: Petrich, Mario
Published: (1976)

Auditory display : sonification, audification, and auditory interfaces /
Published: (1994)

Computers in life science research /
Published: (1974)

Flat covers of modules /
by: Xu, Jinzhong, 1958-
Published: (1996)

Thought and action in foreign policy : proceedings of the London Conference on Cognitive Process Models of Foreign Policy, March 1973 /
Published: (1977)

Mathematical expeditions : chronicles by the explorers /
by: Laubenbacher, Reinhard
Published: (1999)

MathPhys odyssey 2001 : integrable models and beyond : in honor of Barry M. McCoy /
Published: (2002)

Topics in algebra : proceedings, 18th summer research institute of the Australian Mathematical Society, Australian National University, Canberra, January 9-February 17, 1978 /
Published: (1978)

Capacity theory on algebraic curves /
by: Rumely, Robert, 1952-
Published: (1989)

Indexed categories and their applications /
Published: (1978)

Manuscripta mathematica.