Harrie C. M. de Swart

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
The Borda Majority Count.
Inf. Sci., 2015

2014
Spatial voting games, relation algebra and RelView.
J. Log. Algebraic Methods Program., 2014

2013
Computing tournament solutions using relation algebra and RelView.
Eur. J. Oper. Res., 2013

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

2011
A relation-algebraic approach to simple games.
Eur. J. Oper. Res., 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.
Eur. J. Oper. Res., 2010

2009
An interdisciplinary approach to coalition formation.
Eur. J. Oper. Res., 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.
Ann. Oper. Res., 2008

2007
Consensus reaching in committees.
Eur. J. Oper. Res., 2007

Applying relational algebra and Rel.
Eur. J. Oper. Res., 2007

2006
Characteristic properties of list proportional representation systems.
Soc. Choice Welf., 2006

A Modern Perspective on Type Theory From its Origins until Today.
J. Log. Lang. Inf., 2006

Using MACBETH to determine utilities of governments to parties in coalition formation.
Eur. J. Oper. Res., 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.
Soc. Choice Welf., 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

1999
Three Types of Redundancy in Integrity Checking: An Optimal Solution.
Data Knowl. Eng., 1999

1994
Tableaux, resolution, and complexity of formulas.
Methods Log. Comput. Sci., 1994

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

1989
Improving tablog.
Bull. EATCS, 1989

1988
Another tableau based automated theorem prover for classical logic.
Bull. 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 II the Stone-Weierstrass Theorem and Ascoli's Theorem.
Math. Log. Q., 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...