Advertisement

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
  13. Yasuo Kawahara, Michael Winter
    Pages 274-288
  14. Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc
    Pages 289-303
  15. L. A. Meinicke, K. Solin
    Pages 304-319
  16. Bernhard Möller
    Pages 320-336
  17. Camilo Rocha, José Meseguer
    Pages 337-351
  18. Gunther Schmidt
    Pages 352-366
  19. Michael Winter
    Pages 367-381
  20. James Worthington
    Pages 382-396
  21. Back Matter

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
  • Buy this book on publisher's site