Skip to main content
  • Conference proceedings
  • © 2008

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

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

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

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-78913-0
  • 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. Boolean Logics with Relations

    • Philippe Balbiani, Tinko Tinchev
    Pages 4-21
  3. A Relation Algebraic Semantics for a Lazy Functional Logic Language

    • Bernd Braßel, Jan Christiansen
    Pages 37-53
  4. Latest News about Demonic Algebra with Domain

    • Jean-Lou De Carufel, Jules Desharnais
    Pages 54-68
  5. Multi-objective Problems in Terms of Relational Algebra

    • Florian Diedrich, Britta Kehden, Frank Neumann
    Pages 84-98
  6. The Lattice of Contact Relations on a Boolean Algebra

    • Ivo Düntsch, Michael Winter
    Pages 99-109
  7. A Non-probabilistic Relational Model of Probabilistic Kleene Algebras

    • Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
    Pages 110-122
  8. Increasing Bisemigroups and Algebraic Routing

    • Timothy G. Griffin, Alexander J. T. Gurney
    Pages 123-137
  9. Lazy Relations

    • Walter Guttmann
    Pages 138-154
  10. Non-termination in Idempotent Semirings

    • Peter Höfner, Georg Struth
    Pages 206-220
  11. Formal Concepts in Dedekind Categories

    • Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara
    Pages 221-233
  12. The Structure of the One-Generated Free Domain Semiring

    • Peter Jipsen, Georg Struth
    Pages 234-242

Other Volumes

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

Keywords

  • combinatorial optimization
  • computer
  • computer science
  • formal language
  • formal method
  • modeling
  • optimization

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-78913-0
  • 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)