Subject Area: CS Basics (Logics, Discrete Mathematics)
in CIDEC Library.

### RELATIONS AND GRAPHS

Discrete Mathematics for Computer Scientists

Gunther **SCHMIDT** , Universität der Bundeswehr München, Neubiberg, FRG ;

Thomas **STRÖHLEIN** , Technische Universität München, FRG
Series:
Monographs in Theoretical Computer Science. An EATCS Series.

Eds.: W. Brauer; G. Rozenberg; A. Salomaa.

**Publisher : **
Springer-Verlag - Berlin ; New York

**Bibliographic : **

- Hardcover 625g (acid-free)
- ISBN: 3-540-56254-0
- ©1993
- viii, 301 p. : ill. 203 figs.; 24 cm
- Dewey No.: 004/.01/51 20

- Computer science -- Mathematics.
- Relationenalgebra; Graphentheorie; Algebraische Logik 1.Stufe; Semantik von
- Programmiersprachen; Relation Algebra; Graph Theory; First-order Algebraic
- Logic; Semantics of Programming Languages

- I17028 Discrete Mathematics
- I12050 Logic Design
- I1603X Logics and Meanings of Programs
- I14029 Software Engineering
- I19012 Artificial Intelligence
- M12104 General Topics/Mathematical Education
- M13100 Logic,Foundations,Set Theory
- M19001 Combinatorial Mathematics
- M99501 Computer Applications

**DESCRIPTION: **
Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relational type theory, analysis of rewriting systems, and modern programming language design. In addition, they appear in algorithms analysis and in the bulk of discrete mathematics taught to computer scientists. This book is devoted to the background of these methods. It explains how to use relational and graph-theoretic methods systematically in computer science. A powerful formal framework of relational algebra is developed with respect to applications to a diverse range of problem areas. Results are first motivated by practical examples, often visualized by both Boolean 0-1-matrices and graphs, and then derived algebraically.

**CONTENTS: **

Includes bibliographical references (p. [290]) and indexes.

**BOOK CATEGORY: ** Monograph

Changed 20/01/1997. Comments: monika@cs.ioc.ee