1
Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /
2
Theory and Applications of Relational Structures as Knowledge Instruments II [E-Book] / International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
3
Theory and Applications of Relational Structures as Knowledge Instruments [E-Book] : COST Action 274, TARSKI, Revised Papers /
4
Relational Methods in Computer Science [E-Book] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers /
5
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings /