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)

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

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)

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)

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

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

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

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /
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)

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

Computers in life science research /
Published: (1974)

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

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /
Published: (1985)

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

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

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

Indexed categories and their applications /
Published: (1978)

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