Skip to main content
  • Conference proceedings
  • © 2004

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

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

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

Conference proceedings info: RelMiCS 2003.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-24771-5
  • 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 99.00
Price excludes VAT (USA)

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

Table of contents (23 papers)

  1. Front Matter

  2. Invited Papers

    1. 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. SCAN Is Complete for All Sahlqvist Formulae

      • V. Goranko, U. Hustadt, R. A. Schmidt, D. Vakarelov
      Pages 149-162
    10. Relations and GUHA-Style Data Mining II

      • Petr Hájek
      Pages 163-170
    11. A Note on Complex Algebras of Semigroups

      • Peter Jipsen
      Pages 171-177
    12. A Calculus of Typed Relations

      • Wendy MacCaull, Ewa Orłowska
      Pages 191-201
    13. Greedy-Like Algorithms in Modal Kleene Algebra

      • Bernhard Möller, Georg Struth
      Pages 202-214
    14. Rasiowa-Sikorski Style Relational Elementary Set Theory

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

Other Volumes

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

Keywords

  • Attribut
  • Processing
  • action algebra
  • algorithms
  • calculus
  • database
  • formal languages
  • formal methods
  • model checking
  • proving
  • relational methods
  • relational reasoning
  • relational semantics
  • relational software design
  • theorem proving

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

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-24771-5
  • 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 99.00
Price excludes VAT (USA)