Relations and Kleene Algebra in Computer Science

9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

  • Renate A. Schmidt
Conference proceedings RelMiCS 2006

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

Table of contents

  1. Front Matter
  2. J. W. Sanders
    Pages 30-62
  3. Kamal Aboul-Hosn, Dexter Kozen
    Pages 78-90
  4. Jean-Lou De Carufel, Jules Desharnais
    Pages 120-134
  5. Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
    Pages 135-147
  6. Ivo Düntsch, Alasdair Urquhart
    Pages 148-161
  7. Wojciech Dzik, Ewa Orlowska, Clint van Alten
    Pages 162-176
  8. Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
    Pages 177-191
  9. Stéphane Gaubert, Ricardo Katz
    Pages 192-206
  10. Peter Höfner, Bernhard Möller
    Pages 207-221
  11. Peter Höfner, Bernhard Möller, Kim Solin
    Pages 222-234
  12. Yasuo Kawahara
    Pages 251-265
  13. Tadeusz Litak
    Pages 281-295
  14. A. K. McIver, E. Cohen, C. C. Morgan
    Pages 296-310
  15. Ingrid Rewitzky, Chris Brink
    Pages 311-327
  16. Gunther Schmidt
    Pages 343-357
  17. Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
    Pages 358-372
  18. Andrzej Szałas, Jerzy Tyszkiewicz
    Pages 388-401
  19. Toshinori Takai, Hitoshi Furusawa
    Pages 402-416
  20. Michael Winter
    Pages 417-431
  21. Back Matter

About these proceedings


Kleene algebras artificial intelligence calculus complexity cylindric algebras formal languages formal method formal methods logic mathematical logics refinement relational algebras relational proof theory relational representation verification

Editors and affiliations

  • Renate A. Schmidt
    • 1
  1. 1.School of Computer ScienceThe University of Manchester 

Bibliographic information