Advertisement

© 2006

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. A. K. McIver, E. Cohen, C. C. Morgan
    Pages 296-310
  2. Ingrid Rewitzky, Chris Brink
    Pages 311-327
  3. Gunther Schmidt
    Pages 343-357
  4. Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
    Pages 358-372
  5. Andrzej Szałas, Jerzy Tyszkiewicz
    Pages 388-401
  6. Toshinori Takai, Hitoshi Furusawa
    Pages 402-416
  7. Michael Winter
    Pages 417-431
  8. Back Matter

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

  • Book Title Relations and Kleene Algebra in Computer Science
  • Book Subtitle 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
  • Editors Renate Schmidt
  • Series Title Lecture Notes in Computer Science
  • DOI https://doi.org/10.1007/11828563
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-540-37873-0
  • eBook ISBN 978-3-540-37874-7
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 436
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Formal Languages
    Symbolic and Algebraic Manipulation
    Artificial Intelligence
    Software Engineering
Industry Sectors
Biotechnology
IT & Software