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

About these proceedings

Keywords

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

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