De Swart, Harrie
[HerausgeberIn]
;
RelMiCS 6 2001 Oisterwijk,
Workshop of COST Action 274 TARSKI 1 2001 Oisterwijk
Relational methods in computer science
: 6th international conference, RelMICS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16 - 21, 2001 ; revised papers