by RelMICS 2001 (2001 Oisterwijk, Netherlands)
This volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Relational Methods in Computer Science, and the First Workshop of COST Action 274TARSKI, Theory and Ap…