Skip to main content
  • Conference proceedings
  • © 2002

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2561)

Conference series link(s): RelMiCS: International Conference on Relational Methods in Computer Science

Conference proceedings info: RelMiCS 2001.

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-36280-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 89.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (21 papers)

  1. Front Matter

    Pages I-X
  2. Invited Lecture

  3. Contributed Papers

    1. Algebraic and Logical Foundations of ‘Real World’ Relations

      1. Emptiness Relations in Property Systems
        • Philippe Balbiani
        Pages 15-34
      2. Pregroups: Models and Grammars
        • Wojciech Buszkowski
        Pages 35-49
      3. Interpretability of First—Order Dynamic Logic in a Relational Calculus
        • Marcelo F. Frias, Gabriel A. Baum, Thomas S. E. Maibaum
        Pages 66-80
      4. Relations in GUHA Style Data Mining
        • Petr Hájek
        Pages 81-87
      5. Groups in Allegories
        • Yasuo Kawahara
        Pages 88-103
      6. Distributed Conceptual Structures
        • Robert E. Kent
        Pages 104-123
      7. A Computer Algebra Approach to Relational Systems Using Gröbner Bases
        • L.M. Laita, E. Roanes-Lozano, L. de Ledesma1, T. Calvo, L. Gozález-Sotos
        Pages 124-133
      8. Fuzzy Relational Images in Computer Science
        • Mike Nachtegael, Martine De Cock, Dietrich Van der Weken, Etienne E. Kerre
        Pages 134-151
      9. Double Residuated Lattices and Their Applications
        • Ewa Orłowska, Anna Maria Radzikowska
        Pages 171-189
      10. Interactive Systems: From Folklore to Mathematics
        • Gheorghe ŞtefĂnescu
        Pages 197-211
      11. Relational Constructions in Goguen Categories
        • Michael Winter
        Pages 212-227
      12. A Subintuitionistic Logic and Some of Its Methods
        • Ernst Zimmermann
        Pages 228-240
    2. Mechanisation of Relational Reasoning

      1. Implementation of Relational Algebra Using Binary Decision Diagrams
        • Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese
        Pages 241-257

Other Volumes

  1. 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

Keywords

  • Cylindric Algebras
  • Fork Algebras
  • Grammar Systems
  • Lattices
  • Mathematical Logic
  • Relational Algebras
  • Relational Methods
  • Relational Proof Theory
  • Relational Semantics
  • Relational Software Design
  • Relations
  • artificial intelligence
  • computer
  • computer science
  • knowledge

Editors and Affiliations

  • Tilburg University, LE Tilburg, The Netherlands

    Harrie C. M. Swart

Bibliographic Information

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-36280-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 89.99
Price excludes VAT (USA)