H. C. M. de Swart

6 published titles

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, proceedings

(Contributor)

1 edition

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

(Contributor)

1 edition

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

(Contributor)

1 edition

Theory and applications of relational structures as knowledge instruments II : International Workshops of COST Action 274, TARSKI, 2002-2005, selected revised papers

(Contributor)

1 edition

Collective decision making : views from social choice and game theory

(Contributor)

1 edition

Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings

(Contributor)

1 edition