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

  • Harrie C. M. de Swart

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Lecture

  3. Contributed Papers

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

      1. Philippe Balbiani
        Pages 15-34
      2. Wojciech Buszkowski
        Pages 35-49
      3. Marcelo F. Frias, Gabriel A. Baum, Thomas S. E. Maibaum
        Pages 66-80
      4. Petr Hájek
        Pages 81-87
      5. Yasuo Kawahara
        Pages 88-103
      6. Robert E. Kent
        Pages 104-123
      7. L.M. Laita, E. Roanes-Lozano, L. de Ledesma1, T. Calvo, L. Gozález-Sotos
        Pages 124-133
      8. Mike Nachtegael, Martine De Cock, Dietrich Van der Weken, Etienne E. Kerre
        Pages 134-151
      9. Ewa Orłowska, Anna Maria Radzikowska
        Pages 171-189
      10. Gheorghe ŞtefĂnescu
        Pages 197-211
      11. Michael Winter
        Pages 212-227
      12. Ernst Zimmermann
        Pages 228-240
    2. Mechanisation of Relational Reasoning

      1. Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese
        Pages 241-257

About these proceedings

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

  • Harrie C. M. de Swart
    • 1
  1. 1.Tilburg UniversityLE TilburgThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36280-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00315-1
  • Online ISBN 978-3-540-36280-7
  • Series Print ISSN 0302-9743
  • About this book