| 2009 |
|---|
| 25 | EE | Rudolf Berghammer,
Agnieszka Rusinowska,
Harrie C. M. de Swart:
An interdisciplinary approach to coalition formation.
European Journal of Operational Research 195(2): 487-496 (2009) |
| 2008 |
|---|
| 24 | EE | Patrik Eklund,
Agnieszka Rusinowska,
Harrie C. M. de Swart:
A consensus model of political decision-making.
Annals OR 158(1): 5-20 (2008) |
| 2007 |
|---|
| 23 | EE | Patrik Eklund,
Agnieszka Rusinowska,
Harrie C. M. de Swart:
Consensus reaching in committees.
European Journal of Operational Research 178(1): 185-193 (2007) |
| 22 | EE | Rudolf Berghammer,
Agnieszka Rusinowska,
Harrie C. M. de Swart:
Applying relational algebra and Rel.
European Journal of Operational Research 178(2): 530-542 (2007) |
| 2006 |
|---|
| 21 | | Harrie C. M. de Swart,
Ewa Orlowska,
Gunther Schmidt,
Marc Roubens:
Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Springer 2006 |
| 20 | EE | Agnieszka Rusinowska,
Rudolf Berghammer,
Patrik Eklund,
Jan-Willem van der Rijt,
Marc Roubens,
Harrie C. M. de Swart:
Social Software for Coalition Formation.
Theory and Applications of Relational Structures as Knowledge Instruments 2006: 1-30 |
| 19 | EE | Agnieszka Rusinowska,
Harrie C. M. de Swart:
Generalizing and Modifying the Hoede-Bakker Index.
Theory and Applications of Relational Structures as Knowledge Instruments 2006: 60-88 |
| 18 | EE | Marc Roubens,
Agnieszka Rusinowska,
Harrie C. M. de Swart:
Using MACBETH to determine utilities of governments to parties in coalition formation.
European Journal of Operational Research 172(2): 588-603 (2006) |
| 17 | EE | Harrie C. M. de Swart:
A Modern Perspective on Type Theory From its Origins until Today.
Journal of Logic, Language and Information 15(3): 297-302 (2006) |
| 2003 |
|---|
| 16 | | Harrie C. M. de Swart,
Ewa Orlowska,
Gunther Schmidt,
Marc Roubens:
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers
Springer 2003 |
| 15 | EE | Harrie C. M. de Swart,
Ad van Deemen,
Eliora van der Hout,
Peter Kop:
Categoric and Ordinal Voting: An Overview.
Theory and Applications of Relational Structures as Knowledge Instruments 2003: 147-195 |
| 2002 |
|---|
| 14 | | Harrie C. M. de Swart:
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
Springer 2002 |
| 2001 |
|---|
| 13 | | Herman Jurjus,
Harrie C. M. de Swart:
Implication with Possible Exceptions.
J. Symb. Log. 66(2): 517-535 (2001) |
| 2000 |
|---|
| 12 | | Nerman Jurrjus,
Harrie C. M. de Swart:
Implication-with-possible-exceptions.
RelMiCS 2000: 157-163 |
| 1999 |
|---|
| 11 | EE | Ron Seljée,
Harrie C. M. de Swart:
Three Types of Redundancy in Integrity Checking: An Optimal Solution.
Data Knowl. Eng. 30(2): 135-151 (1999) |
| 1998 |
|---|
| 10 | | Harrie C. M. de Swart:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
Springer 1998 |
| 9 | | Ron Seljée,
Harrie C. M. de Swart:
Three types of redundancy in integrity checking: An optimal solution.
RelMiCS 1998: 188-191 |
| 1993 |
|---|
| 8 | | W. M. J. Ophelders,
Harrie C. M. de Swart:
Tableaux Versus Resolution a Comparison.
Fundam. Inform. 18: 109-127 (1993) |
| 1989 |
|---|
| 7 | | Harrie C. M. de Swart:
Improving tablog.
Bulletin of the EATCS 38: 211-218 (1989) |
| 1988 |
|---|
| 6 | | Harrie C. M. de Swart,
W. M. J. Ophelders:
Another tableau based automated theorem prover for classical logic.
Bulletin of the EATCS 35: 185-197 (1988) |
| 1983 |
|---|
| 5 | | Harrie C. M. de Swart:
A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.
J. Symb. Log. 48(1): 1-20 (1983) |
| 1981 |
|---|
| 4 | | W. Gielen,
Harrie C. M. de Swart,
Wim Veldman:
The Continuum Hypothesis in Intuitionism.
J. Symb. Log. 46(1): 121-136 (1981) |
| 1978 |
|---|
| 3 | | Harrie C. M. de Swart:
First Steps in Intuitionistic Model Theory.
J. Symb. Log. 43(1): 3-12 (1978) |
| 1977 |
|---|
| 2 | | Harrie C. M. de Swart:
An Intuitionistically Plausible Interpretation of Intuitionistic Logic.
J. Symb. Log. 42(4): 564-578 (1977) |
| 1976 |
|---|
| 1 | | Harrie C. M. de Swart:
Another Intuitionistic Completeness Proof.
J. Symb. Log. 41(3): 644-662 (1976) |
