H
Harrie de Swart
5 works on record
Works

Relational and Algebraic Methods in Computer Science

Philosophical and Mathematical Logic
Theory and Applications of Relational Structures As Knowledge Instruments II
Theory and Applications of Relational Structures As Knowledge Instruments II
Theory and Applications of Relational Structures As Knowledge Instruments
Theory and Applications of Relational Structures As Knowledge Instruments
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods