Harrie C. M. de Swart

According to our database1, Harrie C. M. de Swart authored at least 32 papers between 1976 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Spatial voting games, relation algebra and RelView.
J. Log. Algebr. Meth. Program., 2014

2013
Computing tournament solutions using relation algebra and RelView.
European Journal of Operational Research, 2013

2012
Relational and algebraic methods in computer science.
J. Log. Algebr. Program., 2012

2011
A relation-algebraic approach to simple games.
European Journal of Operational Research, 2011

Computations on Simple Games Using RelView.
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

Social Networks: Prestige, Centrality, and Influence - (Invited Paper).
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010
Applying relation algebra and RelView to measures in a social network.
European Journal of Operational Research, 2010

2009
An interdisciplinary approach to coalition formation.
European Journal of Operational Research, 2009

Computational Social Choice Using Relation Algebra and RelView.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
A consensus model of political decision-making.
Annals OR, 2008

2007
Consensus reaching in committees.
European Journal of Operational Research, 2007

Applying relational algebra and Rel.
European Journal of Operational Research, 2007

2006
Characteristic properties of list proportional representation systems.
Social Choice and Welfare, 2006

A Modern Perspective on Type Theory From its Origins until Today.
Journal of Logic, Language and Information, 2006

Using MACBETH to determine utilities of governments to parties in coalition formation.
European Journal of Operational Research, 2006

Generalizing and Modifying the Hoede-Bakker Index.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

Social Software for Coalition Formation.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

2005
A new model of coalition formation.
Social Choice and Welfare, 2005

2003
Categoric and Ordinal Voting: An Overview.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2001
Implication with Possible Exceptions.
J. Symb. Log., 2001

2000
Implication-with-possible-exceptions.
Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1998
Three types of redundancy in integrity checking: An optimal solution.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1994
Tableaux, resolution, and complexity of formulas.
Meth. of Logic in CS, 1994

1993
Tableaux Versus Resolution a Comparison.
Fundam. Inform., 1993

1989
Improving tablog.
Bulletin of the EATCS, 1989

1988
Another tableau based automated theorem prover for classical logic.
Bulletin of the EATCS, 1988

1983
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., 1983

1981
The Continuum Hypothesis in Intuitionism.
J. Symb. Log., 1981

1978
First Steps in Intuitionistic Model Theory.
J. Symb. Log., 1978

1977
An Intuitionistically Plausible Interpretation of Intuitionistic Logic.
J. Symb. Log., 1977

1976
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.
Math. Log. Q., 1976

Another Intuitionistic Completeness Proof.
J. Symb. Log., 1976


  Loading...