default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHarrie C. M. de Swart
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j28]Harrie C. M. de Swart
:
Logic, Game Theory, and Social Choice: What Do They Have in Common? Axioms 11(10): 518 (2022)
2010 – 2019
- 2015
- [j27]Manzoor Ahmad Zahid, Harrie C. M. de Swart:
The Borda Majority Count. Inf. Sci. 295: 429-440 (2015) - 2014
- [j26]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
Spatial voting games, relation algebra and RelView. J. Log. Algebraic Methods Program. 83(2): 120-134 (2014) - 2013
- [j25]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
Computing tournament solutions using relation algebra and RelView. Eur. J. Oper. Res. 226(3): 636-645 (2013) - 2012
- [j24]Harrie C. M. de Swart:
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 81(6): 623-624 (2012) - 2011
- [j23]Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart:
A relation-algebraic approach to simple games. Eur. J. Oper. Res. 210(1): 68-80 (2011) - [c5]Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch:
Social Networks: Prestige, Centrality, and Influence - (Invited Paper). RAMiCS 2011: 22-39 - [c4]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
Computations on Simple Games Using RelView. CASC 2011: 49-60 - [e5]Harrie C. M. de Swart:
Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings. Lecture Notes in Computer Science 6663, Springer 2011, ISBN 978-3-642-21069-3 [contents] - 2010
- [j22]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
Applying relation algebra and RelView to measures in a social network. Eur. J. Oper. Res. 202(1): 182-195 (2010)
2000 – 2009
- 2009
- [j21]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
An interdisciplinary approach to coalition formation. Eur. J. Oper. Res. 195(2): 487-496 (2009) - [c3]Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska:
Computational Social Choice Using Relation Algebra and RelView. RelMiCS 2009: 13-28 - 2008
- [j20]Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart:
A consensus model of political decision-making. Ann. Oper. Res. 158(1): 5-20 (2008) - 2007
- [j19]Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart:
Consensus reaching in committees. Eur. J. Oper. Res. 178(1): 185-193 (2007) - [j18]Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart:
Applying relational algebra and Rel. Eur. J. Oper. Res. 178(2): 530-542 (2007) - 2006
- [j17]Marc Roubens, Agnieszka Rusinowska, Harrie C. M. de Swart:
Using MACBETH to determine utilities of governments to parties in coalition formation. Eur. J. Oper. Res. 172(2): 588-603 (2006) - [j16]Harrie C. M. de Swart:
A Modern Perspective on Type Theory From its Origins until Today. J. Log. Lang. Inf. 15(3): 297-302 (2006) - [j15]Eliora van der Hout, Harrie C. M. de Swart, Annemarie ter Veer:
Characteristic properties of list proportional representation systems. Soc. Choice Welf. 27(3): 459-475 (2006) - [p3]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 - [p2]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 - [e4]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. Lecture Notes in Computer Science 4342, Springer 2006, ISBN 3-540-69223-1 [contents] - 2005
- [j14]Agnieszka Rusinowska, Harrie C. M. de Swart, Jan-Willem van der Rijt:
A new model of coalition formation. Soc. Choice Welf. 24(1): 129-154 (2005) - 2003
- [p1]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 - [e3]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. Lecture Notes in Computer Science 2929, Springer 2003, ISBN 3-540-20780-5 [contents] - 2002
- [e2]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. Lecture Notes in Computer Science 2561, Springer 2002, ISBN 3-540-00315-0 [contents] - 2001
- [j13]Herman Jurjus, Harrie C. M. de Swart:
Implication with Possible Exceptions. J. Symb. Log. 66(2): 517-535 (2001) - 2000
- [c2]Nerman Jurrjus, Harrie C. M. de Swart:
Implication-with-possible-exceptions. RelMiCS 2000: 157-163
1990 – 1999
- 1999
- [j12]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
- [c1]Ron Seljée, Harrie C. M. de Swart:
Three types of redundancy in integrity checking: An optimal solution. RelMiCS 1998: 188-191 - [e1]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. Lecture Notes in Computer Science 1397, Springer 1998, ISBN 3-540-64406-7 [contents] - 1994
- [j11]Harrie C. M. de Swart, W. M. J. Ophelders:
Tableaux, resolution, and complexity of formulas. Methods Log. Comput. Sci. 1(2): 241-260 (1994) - 1993
- [j10]W. M. J. Ophelders, Harrie C. M. de Swart:
Tableaux Versus Resolution a Comparison. Fundam. Informaticae 18: 109-127 (1993)
1980 – 1989
- 1989
- [j9]Harrie C. M. de Swart:
Improving tablog. Bull. EATCS 38: 211-218 (1989) - 1988
- [j8]Harrie C. M. de Swart, W. M. J. Ophelders:
Another tableau based automated theorem prover for classical logic. Bull. EATCS 35: 185-197 (1988) - 1983
- [j7]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
- [j6]W. Gielen, Harrie C. M. de Swart, Wim Veldman:
The Continuum Hypothesis in Intuitionism. J. Symb. Log. 46(1): 121-136 (1981)
1970 – 1979
- 1978
- [j5]Harrie C. M. de Swart:
First Steps in Intuitionistic Model Theory. J. Symb. Log. 43(1): 3-12 (1978) - 1977
- [j4]Harrie C. M. de Swart:
An Intuitionistically Plausible Interpretation of Intuitionistic Logic. J. Symb. Log. 42(4): 564-578 (1977) - 1976
- [j3]Harrie C. M. de Swart:
Another Intuitionistic Completeness Proof. J. Symb. Log. 41(3): 644-662 (1976) - [j2]Harrie C. M. de Swart:
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces. Math. Log. Q. 22(1): 289-298 (1976) - [j1]Harrie C. M. de Swart:
Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem. Math. Log. Q. 22(1): 501-508 (1976)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
