ENGLISH

Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers

By Wolfram Kahl (auth.) , Harrie C. M. de Swart (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2002
ISBN
978-3-540-00315-1, 978-3-540-36280-7
DOI
10.1007/3-540-36280-0
Language
english
Format
PDF
Filesize
12 MB (12137175 bytes)
Series
Lecture Notes in Computer Science 2561
Edition
1
Pages
318\322
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Homological Algebra; OrderLatticesMathematical Logic and Formal Languages; SoftwareOrdered Algebraic Structures

Description

This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Conference on Relational Methods in Computer Science, RelMICS 2001 and the 1st Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments held in Oisterwijk, The Netherlands, in October 2001. The 20 revised full papers presented together with an invited paper were carefully reviewed and selected. The papers are organized in topical sections on algebraic and logical foundations of real world relations, mechanization of relational reasoning, and relational scaling and preferences.

Similar books