The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De M

This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in

This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Conference on Relational Methods in Computer Science, RelMICS 2001