Harrie de Swart

Theory and Applications of Relational Structures as Knowledge Instruments

Harrie de Swart, 2003 .

Gentzen-type systems for C, K and several extensions of C and K: Constructive completeness proofs and effective decision procedures for these systems

Harrie de Swart, 1980 .

Negotiating a Stable Government: An Application of Bargaining Theory to a Coalition Formation Model

Agnieszka Rusinowska, A. Rusinowska, H. D. Swart, 2008 .