Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Rudolf Berghammer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Möller
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Georg Struth
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: RelMiCS 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Formal Methods and the Theory of Social Choice

    • Marc Pauly
    Pages 1-2

  3. Relations Making Their Way from Logics to Mathematics and Applied Sciences

    • Gunther Schmidt
    Pages 3-3

  4. Boolean Logics with Relations

    • Philippe Balbiani, Tinko Tinchev
    Pages 4-21

  5. Relation Algebra and RelView in Practical Use: Construction of Special University Timetables

    • Rudolf Berghammer, Britta Kehden
    Pages 22-36

  6. A Relation Algebraic Semantics for a Lazy Functional Logic Language

    • Bernd Braßel, Jan Christiansen
    Pages 37-53

  7. Latest News about Demonic Algebra with Domain

    • Jean-Lou De Carufel, Jules Desharnais
    Pages 54-68

  8. On the Structure of Demonic Refinement Algebras with Enabledness and Termination

    • Jean-Lou De Carufel, Jules Desharnais
    Pages 69-83

  9. Multi-objective Problems in Terms of Relational Algebra

    • Florian Diedrich, Britta Kehden, Frank Neumann
    Pages 84-98

  10. The Lattice of Contact Relations on a Boolean Algebra

    • Ivo Düntsch, Michael Winter
    Pages 99-109

  11. A Non-probabilistic Relational Model of Probabilistic Kleene Algebras

    • Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
    Pages 110-122

  12. Increasing Bisemigroups and Algebraic Routing

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

  13. Lazy Relations

    • Walter Guttmann
    Pages 138-154

  14. The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy

    • Mark Hopkins
    Pages 155-172

  15. The Algebraic Approach II: Dioids, Quantales and Monads

    • Mark Hopkins
    Pages 173-190

  16. Automated Reasoning for Hybrid Systems — Two Case Studies —

    • Peter Höfner
    Pages 191-205

  17. Non-termination in Idempotent Semirings

    • Peter Höfner, Georg Struth
    Pages 206-220

  18. Formal Concepts in Dedekind Categories

    • Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara
    Pages 221-233

  19. The Structure of the One-Generated Free Domain Semiring

    • Peter Jipsen, Georg Struth
    Pages 234-242

  20. Determinisation of Relational Substitutions in Ordered Categories with Domain

    • Wolfram Kahl
    Pages 243-258
Back to top

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation