6. RelMiCS 2001: Oisterwijk, The Netherlands

Invited Lecture

Algebraic and Logical Foundations of 'Real World' Relations

Mechanisation of Relational Reasoning

Relational Scaling and Preferences

a service of Schloss Dagstuhl - Leibniz Center for Informatics