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 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

Keywords

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

Bibliographic Information

  • Book Title: Relations and Kleene Algebra in Computer Science

  • Book Subtitle: 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

  • Editors: Rudolf Berghammer, Bernhard Möller, Georg Struth

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-540-78913-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2008

  • Softcover ISBN: 978-3-540-78912-3Published: 28 March 2008

  • eBook ISBN: 978-3-540-78913-0Published: 12 April 2008

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 402

  • Topics: Formal Languages and Automata Theory, Symbolic and Algebraic Manipulation, Artificial Intelligence, Software Engineering

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions