harrie de swart

Relational and Algebraic Methods in Computer Science

This book constitutes the proceedings of the 12 International Conference on Relational and Algebr...

Theory and Applications of Relational Structures as Knowledge Instruments II

This book constitutes the major results of the EU COST (European Cooperation in the field of Scie...

Philosophical and Mathematical Logic

This book was written to serve as an introduction to logic, with in each chapter - if applicable ...

Relational Methods in Computer Science

This book constitutes the thoroughly refereed joint post-proceedings of the 6thInternational Co...

Theory and Applications of Relational Structures as Knowledge Instruments

Relational structures abound in our daily environment: relational databases, data mining, scaling...

Automated Reasoning with Analytic Tableaux and Related Methods

Philosophical and Mathematical Logic

This book was written to serve as an introduction to logic, with in each chapter - if applicable ...

Theory and Applications of Relational Structures as Knowledge Instruments II

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results ...

Relational Methods in Computer Science

This volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Re...

Theory and Applications of Relational Structures as Knowledge Instruments

Relational structures abound in our daily environment: relational databases, data mining, scal...