Harrie C. M. de Swart

	2009
26		Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska: Computational Social Choice Using Relation Algebra and RelView. RelMiCS 2009: 13-28
25		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		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		Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart: Consensus reaching in committees. European Journal of Operational Research 178(1): 185-193 (2007)
22		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		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		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		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		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		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		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)

Coauthor Index

1	Rudolf Berghammer	[20] [22] [25] [26]
2	Ad van Deemen	[15]
3	Patrik Eklund	[20] [23] [24]
4	W. Gielen	[4]
5	Eliora van der Hout	[15]
6	Herman Jurjus	[13]
7	Nerman Jurrjus	[12]
8	Peter Kop	[15]
9	W. M. J. Ophelders	[6] [8]
10	Ewa Orlowska	[16] [21]
11	Jan-Willem van der Rijt	[20]
12	Marc Roubens	[16] [18] [20] [21]
13	Agnieszka Rusinowska	[18] [19] [20] [22] [23] [24] [25] [26]
14	Gunther Schmidt	[16] [21]
15	Ron Seljée	[9] [11]
16	Wim Veldman	[4]

Colors in the list of coauthors