Relations and Kleene Algebra in Computer Science

10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

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

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

Table of contents

  1. Front Matter
  2. Philippe Balbiani, Tinko Tinchev
    Pages 4-21
  3. Bernd Braßel, Jan Christiansen
    Pages 37-53
  4. Jean-Lou De Carufel, Jules Desharnais
    Pages 54-68
  5. Florian Diedrich, Britta Kehden, Frank Neumann
    Pages 84-98
  6. Ivo Düntsch, Michael Winter
    Pages 99-109
  7. Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
    Pages 110-122
  8. Timothy G. Griffin, Alexander J. T. Gurney
    Pages 123-137
  9. Walter Guttmann
    Pages 138-154
  10. Peter Höfner, Georg Struth
    Pages 206-220
  11. Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara
    Pages 221-233
  12. Peter Jipsen, Georg Struth
    Pages 234-242

About these proceedings

Keywords

combinatorial optimization computer computer science formal language formal method modeling optimization

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78913-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78912-3
  • Online ISBN 978-3-540-78913-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book