Skip to main content
SpringerLink
Log in

Relational and Kleene-Algebraic Methods in Computer Science

7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Rudolf Berghammer

    1. Institut für Informatik, Christian-Albrechts-Universität Kiel, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Möller

    1. Institute of Computer Science, University of Augsburg,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Georg Struth

    1. Department of Computer Science, University of Sheffield, United Kingdom

    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 3051)

Included in the following conference series:

Conference proceedings info: RelMiCS 2003.

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 (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods

      • Raymond Bisdorff, Marc Roubens
      Pages 1-7

    2. Kleene Algebra with Relations

      • Jules Desharnais
      Pages 8-20

  3. Contributed Papers

    1. Integrating Model Checking and Theorem Proving for Relational Reasoning

      • Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin Rinard
      Pages 21-33

    2. Fixed-Point Characterisation of Winning Strategies in Impartial Games

      • Roland Backhouse, Diethard Michaelis
      Pages 34-47

    3. Checking the Shape Safety of Pointer Manipulations

      • Adam Bakewell, Detlef Plump, Colin Runciman
      Pages 48-61

    4. Applying Relational Algebra in 3D Graphical Software Design

      • Rudolf Berghammer, Alexander Fronk
      Pages 62-73

    5. Investigating Discrete Controllability with Kleene Algebra

      • Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
      Pages 74-85

    6. Tracing Relations Probabilistically

      • Ernst-Erich Doberkat
      Pages 86-98

    7. Pointer Kleene Algebra

      • Thorsten Ehm
      Pages 99-111

    8. Kleene Modules

      • Thorsten Ehm, Bernhard Möller, Georg Struth
      Pages 112-123

    9. The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions

      • Hitoshi Furusawa
      Pages 124-136

    10. Towards a Formalisation of Relational Database Theory in Constructive Type Theory

      • Carlos Gonzalía
      Pages 137-148

    11. SCAN Is Complete for All Sahlqvist Formulae

      • V. Goranko, U. Hustadt, R. A. Schmidt, D. Vakarelov
      Pages 149-162

    12. Relations and GUHA-Style Data Mining II

      • Petr Hájek
      Pages 163-170

    13. A Note on Complex Algebras of Semigroups

      • Peter Jipsen
      Pages 171-177

    14. Calculational Relation-Algebraic Proofs in Isabelle/Isar

      • Wolfram Kahl
      Pages 178-190

    15. A Calculus of Typed Relations

      • Wendy MacCaull, Ewa Orłowska
      Pages 191-201

    16. Greedy-Like Algorithms in Modal Kleene Algebra

      • Bernhard Möller, Georg Struth
      Pages 202-214

    17. Rasiowa-Sikorski Style Relational Elementary Set Theory

      • Eugenio Omodeo, Ewa Orłowska, Alberto Policriti
      Pages 215-226
Back to top

Keywords

Editors and Affiliations

  • Institut für Informatik, Christian-Albrechts-Universität Kiel, Kiel, Germany

    Rudolf Berghammer

  • Institute of Computer Science, University of Augsburg,  

    Bernhard Möller

  • Department of Computer Science, University of Sheffield, United Kingdom

    Georg Struth

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation