Relational Methods in Computer Science

Chris Brink, Wolfram Kahl, Gunther Schmidt (eds)

Advances in Computer Science, Springer-Verlag Vienna 1997, ISBN 3-211-82971-7

(.bib)

Contents

Preface

I. Introductory

1   Background Material

Peter Jipsen, Chris Brink, Gunther Schmidt

II. Algebras

2   Relation Algebras

Roger D. Maddux

3   Heterogeneous Relation Algebra

Gunther Schmidt, Claudia Hattensperger, Michael Winter

4   Fork Algebras

Armando Haeberer, Marcelo Frias, Gabriel Baum, Paulo Veloso

III. Logics

5   Relation Algebra and Modal Logics

Holger Schlingloff, Wolfgang Heinle

6   Relational Formalisation of Nonclassical Logics

Ewa Orlowska

7   Linear Logic

Jules Desharnais, Bernard Hodgson, John Mullins

IV. Programs

8   Relational Semantics of Functional Programs

Rudolf Berghammer, Burghard von Karger

9   Algorithms from Relational Specifications

Rudolf Berghammer, Burghard von Karger

10 Programs and Datatypes

Henk Doornbos, Netty van Gasteren, Roland Backhouse

11 Refinement and Demonic Semantics

Jules Desharnais, Ali Mili, Thanh Tung Nguyen

12 Tabular Representations in Relational Documents

Ryszard Janicki, David Lorge Parnas, Jeffery Zucker

V. Other Application Areas

13 Databases

Ali Jaoua, Nadir Belkhiter, Habib Ounalli, Théodore Moukam

14 Logic, Language, and Information

Patrick Blackburn, Maarten de Rijke, Yde Venema

15 Natural Language

Michael Böttner

Bibliography

(compiled by Wolfram Kahl, Thomas Ströhlein)

Symbol Table

Index