6. RelMiCS 2001: Oisterwijk, The Netherlands

[–] 

Refine list

showing all 22 records

refine by search term

refine by author

refine by access 

Invited Lecture

Algebraic and Logical Foundations of 'Real World' Relations

Mechanisation of Relational Reasoning

Relational Scaling and Preferences