Advertisement

Relational Methods in Computer Science

8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

  • Wendy MacCaull
  • Michael Winter
  • Ivo Düntsch
Conference proceedings RelMiCS 2005

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Georgi Dimov, Dimiter Vakarelov
      Pages 1-16
    2. Ewa Orłowska, Ingrid Rewitzky, Ivo Düntsch
      Pages 17-32
    3. Alasdair Urquhart
      Pages 33-47
  3. Contributed Papers

    1. Rudolf Berghammer, Ulf Milanese
      Pages 48-59
    2. Claude Bolduc, Jules Desharnais
      Pages 60-72
    3. Ivo Düntsch, Michael Winter
      Pages 73-82
    4. Alexander Fronk, Jörg Pleumann
      Pages 83-95
    5. Peter Höfner, Bernhard Möller
      Pages 121-133
    6. Jouni Järvinen, Ewa Orłowska
      Pages 134-146
    7. Wolfram Kahl, Christopher K. Anand, Jacques Carette
      Pages 147-160
    8. Britta Kehden, Frank Neumann, Rudolf Berghammer
      Pages 161-172
    9. Wendy MacCaull, Dimiter Vakarelov
      Pages 173-187
    10. Vincent Mathieu, Jules Desharnais
      Pages 188-199
    11. Bernhard Möller, Georg Struth
      Pages 200-211
    12. Ewa Orłowska, Anna Maria Radzikowska
      Pages 212-224
    13. Georg Struth
      Pages 225-236
    14. Ewa Orłowska, Andrzej Szałas
      Pages 237-248
  4. Back Matter

About these proceedings

Keywords

Processing algorithm algorithms computer computer science evolutionary algorithm programming verification

Editors and affiliations

  • Wendy MacCaull
    • 1
  • Michael Winter
    • 2
  • Ivo Düntsch
    • 3
  1. 1.Department of Mathematics, Statistics and Computer ScienceSt. Francis Xavier UniversityAntigonishCanada
  2. 2.Department of Computer ScienceBrock UniversitySt. CatharinesCanada
  3. 3.Computer Science DepartmentBrock UniversitySt. CatharinesCanada

Bibliographic information

  • DOI https://doi.org/10.1007/11734673
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-33339-5
  • Online ISBN 978-3-540-33340-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site