Skip to main content
  • Conference proceedings
  • © 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 - September2, 2006, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): RelMiCS: International Conference on Relational Methods in Computer Science

Conference proceedings info: RelMiCS 2006.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-37874-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

  2. Computations and Relational Bundles

    • J. W. Sanders
    Pages 30-62
  3. Local Variable Scoping and Kleene Algebra with Tests

    • Kamal Aboul-Hosn, Dexter Kozen
    Pages 78-90
  4. Demonic Algebra with Domain

    • Jean-Lou De Carufel, Jules Desharnais
    Pages 120-134
  5. Topological Representation of Contact Lattices

    • Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
    Pages 135-147
  6. Betweenness and Comparability Obtained from Binary Relations

    • Ivo Düntsch, Alasdair Urquhart
    Pages 148-161
  7. Relational Representation Theorems for General Lattices with Negations

    • Wojciech Dzik, Ewa Orlowska, Clint van Alten
    Pages 162-176
  8. Monotonicity Analysis Can Speed Up Verification

    • Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
    Pages 177-191
  9. Max-Plus Convex Geometry

    • Stéphane Gaubert, Ricardo Katz
    Pages 192-206
  10. Lazy Semiring Neighbours and Some Applications

    • Peter Höfner, Bernhard Möller
    Pages 207-221
  11. Omega Algebra, Demonic Refinement Algebra and Commands

    • Peter Höfner, Bernhard Möller, Kim Solin
    Pages 222-234
  12. On the Cardinality of Relations

    • Yasuo Kawahara
    Pages 251-265
  13. Algebraization of Hybrid Logic with Binders

    • Tadeusz Litak
    Pages 281-295

Other Volumes

  1. 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

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

  • School of Computer Science, The University of Manchester,  

    Renate A. Schmidt

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-37874-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.99
Price excludes VAT (USA)