Algebraic Methodology and Software Technology (AMAST'91): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993

Front Cover
M. Nivat
Springer-Verlag, 1994 - Computers - 416 pages
The Workshops in Computing series is the result of a collaborative venture between the British Computer Society and Springer-Verlag. It is international in scope.
Each volume is based on the proceedings of a specialist workshop and is designed to provide information that represents a 'snapshot' of current knowledge, debate or research. Books in this series cover the broadest possible range of topics, subject only to the workshops being firmly established in computing and being of interest to the wider community.
To ensure timely publication, manuscripts are presented in the form in which they are submitted, immediacy being regarded as more important than perfect typographical accuracy.
Workshop organisers wishing to submit material for publication should, in the first instance, contact the Computing Editor at Springer-Verlag London Limited.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Opening Address by the Rector of the University of Twente
1
Contents
6
Relation Algebras for Reasoning About Time and Space
27
Copyright

22 other sections not shown

Common terms and phrases

Bibliographic information