Cover Image

Relations and Graphs : Discrete Mathematics for Computer Scientists /

Show other versions (1)

Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory, analysis of rewriting systems, and modern programming language design. In addition, they appear in algorithms analysis and in the bulk of di...

Full description

Bibliographic Details
Main Author:	Schmidt, Günther
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ströhlein, Thomas
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Series:	EATCS monographs on theoretical computer science.
Subjects:	Computer science. Logic design. Software engineering. Artificial intelligence. Combinatorial analysis. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and /
by: Ehrig, Hartmut
Published: (1985)

Introduction to Fuzzy Reliability /
by: Cai, Kai-Yuan
Published: (1996)

Software Defect and Operational Profile Modeling /
by: Cai, Kai-Yuan
Published: (1998)

Mathematical Foundations of Computer Science : Sets, Relations, and Induction /
by: Fejer, Peter A.
Published: (1991)

Finite and Infinite Combinatorics in Sets and Logic /
by: Sauer, N. W.
Published: (1993)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)

Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings /
by: Nerode, Anil
Published: (1992)

The Collected Works of J. Richard Büchi /
by: Mac Lane, Saunders
Published: (1990)

Fuzzy Logic : Mathematical Tools for Approximate Reasoning /
by: Gerla, Giangiacomo
Published: (2001)

Mathematics of Ramsey Theory /
by: Nešetřil, Jaroslav
Published: (1990)

Automated Mathematical Induction /
by: Zhang, H. (Hantao)
Published: (1996)

Nonsequential Processes : a Petri Net View /
by: Best, Eike
Published: (1988)

Computer Algebra : Symbolic and Algebraic Computation /
by: Buchberger, Bruno
Published: (1983)

Fuzzy Logic Foundations and Industrial Applications /
by: Ruan, Da
Published: (1996)

Collegium Logicum.
Published: (1995)

Collegium Logicum.
Published: (1996)

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
by: Hunt, Jr., Warren A.
Published: (2003)

Practical Applications of Computational Intelligence Techniques /
by: Jain, Lakhmi
Published: (2001)

Managing Uncertainty in Expert Systems /
by: Grzymala-Busse, Jerzy W.
Published: (1991)

Automated Deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings /
by: Bundy, Alan
Published: (1994)

An Introduction to Fuzzy Logic Applications in Intelligent Systems /
by: Yager, Ronald R.
Published: (1992)

Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings /
by: McRobbie, Michael A.
Published: (1996)

Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970 /
by: Siekmann, Jörg H.
Published: (1983)

Nonmonotonic Logic : Context-Dependent Reasoning /
by: Marek, V. Wiktor
Published: (1993)

Structural Complexity II /
by: Balcázar, José Luis
Published: (1990)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Iteration Theories : the Equational Logic of Iterative Processes /
by: Bloom, Stephen L.
Published: (1993)

Mathematical Models for the Semantics of Parallelism : Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings /
by: Venturini Zilli, Marisa
Published: (1987)

First-Order Programming Theories /
by: Gergely, T. (Tamás)
Published: (1991)

Problems and Exercises in Discrete Mathematics /
by: Gavrilov, G. P.
Published: (1996)

Connectionist Approaches in Economics and Management Sciences /
by: Lesage, Cédric
Published: (2003)