Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Harrie C. M. Swart

    1. Tilburg University, LE Tilburg, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: RelMiCS 2001.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Lecture

    1. A Relation-Algebraic Approach to Graph Structure Transformation

      • Wolfram Kahl
      Pages 1-14

  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. Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
        • Ernst-Erich Doberkat, Eugenio G. Omodeo
        Pages 50-65
      4. Interpretability of First—Order Dynamic Logic in a Relational Calculus
        • Marcelo F. Frias, Gabriel A. Baum, Thomas S. E. Maibaum
        Pages 66-80
      5. Relations in GUHA Style Data Mining
        • Petr Hájek
        Pages 81-87
      6. Groups in Allegories
        • Yasuo Kawahara
        Pages 88-103
      7. Distributed Conceptual Structures
        • Robert E. Kent
        Pages 104-123
      8. 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
      9. Fuzzy Relational Images in Computer Science
        • Mike Nachtegael, Martine De Cock, Dietrich Van der Weken, Etienne E. Kerre
        Pages 134-151
      10. A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories
        • Hitomi Okuma, Yasuo Kawahara
        Pages 152-170
      11. Double Residuated Lattices and Their Applications
        • Ewa Orłowska, Anna Maria Radzikowska
        Pages 171-189
      12. Interval Bilattices and Some Other Simple Bilattices
        • Agata Pilitowska
        Pages 190-196
      13. Interactive Systems: From Folklore to Mathematics
        • Gheorghe ŞtefĂnescu
        Pages 197-211
      14. Relational Constructions in Goguen Categories
        • Michael Winter
        Pages 212-227
      15. 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
      2. Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs
        • Rudolf Berghammer, Thorsten Hoffmann
        Pages 258-275
      3. Calculating Church-Rosser Proofs in Kleene Algebra
        • Georg Struth
        Pages 276-290
Back to top

Keywords

Editors and Affiliations

  • Tilburg University, LE Tilburg, The Netherlands

    Harrie C. M. Swart

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation