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 editors de swart harrie cm ed free preview. 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. 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 wolfram kahl auth harrie c m de swart eds. 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 harrie cm de swart ed. Harrie c m de swart editor 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 volume 2561 of lecture notes in computer science springer 2002 conference relmics2002