Advertisement

© 1993

Relations and Graphs

Discrete Mathematics for Computer Scientists

Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Gunther Schmidt, Thomas Ströhlein
    Pages 1-4
  3. Gunther Schmidt, Thomas Ströhlein
    Pages 5-27
  4. Gunther Schmidt, Thomas Ströhlein
    Pages 28-49
  5. Gunther Schmidt, Thomas Ströhlein
    Pages 50-80
  6. Gunther Schmidt, Thomas Ströhlein
    Pages 81-104
  7. Gunther Schmidt, Thomas Ströhlein
    Pages 105-141
  8. Gunther Schmidt, Thomas Ströhlein
    Pages 142-171
  9. Gunther Schmidt, Thomas Ströhlein
    Pages 172-196
  10. Gunther Schmidt, Thomas Ströhlein
    Pages 197-228
  11. Gunther Schmidt, Thomas Ströhlein
    Pages 229-264
  12. Back Matter
    Pages 265-304

About this book

Introduction

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 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.

Keywords

Programmiersprache algorithms computer computer science concurrency design discrete mathematics graph theory graphs language logic mathematics programming programming language semantics

Authors and affiliations

  1. 1.Fakultät für InformatikUniversität der Bundeswehr MünchenNeubibergGermany
  2. 2.Fakultät für InformatikTechnische Universität MünchenMünchen 2Germany

Bibliographic information

Industry Sectors
Electronics
Telecommunications