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

  • Rudolf Berghammer
  • Bernhard Möller
  • Georg Struth
Conference proceedings RelMiCS 2003

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Contributed Papers

    1. Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin Rinard
      Pages 21-33
    2. Roland Backhouse, Diethard Michaelis
      Pages 34-47
    3. Adam Bakewell, Detlef Plump, Colin Runciman
      Pages 48-61
    4. Rudolf Berghammer, Alexander Fronk
      Pages 62-73
    5. Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
      Pages 74-85
    6. Ernst-Erich Doberkat
      Pages 86-98
    7. Thorsten Ehm
      Pages 99-111
    8. Thorsten Ehm, Bernhard Möller, Georg Struth
      Pages 112-123
    9. V. Goranko, U. Hustadt, R. A. Schmidt, D. Vakarelov
      Pages 149-162
    10. Petr Hájek
      Pages 163-170
    11. Peter Jipsen
      Pages 171-177
    12. Wendy MacCaull, Ewa Orłowska
      Pages 191-201
    13. Bernhard Möller, Georg Struth
      Pages 202-214
    14. Eugenio Omodeo, Ewa Orłowska, Alberto Policriti
      Pages 215-226

About these proceedings

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

  • Rudolf Berghammer
    • 1
  • Bernhard Möller
    • 2
  • Georg Struth
    • 3
  1. 1.Institut für InformatikChristian-Albrechts-Universität KielKielGermany
  2. 2.Institute of Computer ScienceUniversity of Augsburg 
  3. 3.Department of Computer ScienceUniversity of SheffieldUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/b98117
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22145-6
  • Online ISBN 978-3-540-24771-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book