↓ Skip to main content

Relations and Kleene Algebra in Computer Science

Overview of attention for book
Cover of 'Relations and Kleene Algebra in Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Methods and the Theory of Social Choice
  3. Altmetric Badge
    Chapter 2 Relations Making Their Way from Logics to Mathematics and Applied Sciences
  4. Altmetric Badge
    Chapter 3 Boolean Logics with Relations
  5. Altmetric Badge
    Chapter 4 Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
  6. Altmetric Badge
    Chapter 5 A Relation Algebraic Semantics for a Lazy Functional Logic Language
  7. Altmetric Badge
    Chapter 6 Latest News about Demonic Algebra with Domain
  8. Altmetric Badge
    Chapter 7 On the Structure of Demonic Refinement Algebras with Enabledness and Termination
  9. Altmetric Badge
    Chapter 8 Multi-objective Problems in Terms of Relational Algebra
  10. Altmetric Badge
    Chapter 9 The Lattice of Contact Relations on a Boolean Algebra
  11. Altmetric Badge
    Chapter 10 A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
  12. Altmetric Badge
    Chapter 11 Increasing Bisemigroups and Algebraic Routing
  13. Altmetric Badge
    Chapter 12 Lazy Relations
  14. Altmetric Badge
    Chapter 13 The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy
  15. Altmetric Badge
    Chapter 14 The Algebraic Approach II: Dioids, Quantales and Monads
  16. Altmetric Badge
    Chapter 15 Automated Reasoning for Hybrid Systems — Two Case Studies —
  17. Altmetric Badge
    Chapter 16 Non-termination in Idempotent Semirings
  18. Altmetric Badge
    Chapter 17 Formal Concepts in Dedekind Categories
  19. Altmetric Badge
    Chapter 18 The Structure of the One-Generated Free Domain Semiring
  20. Altmetric Badge
    Chapter 19 Determinisation of Relational Substitutions in Ordered Categories with Domain
  21. Altmetric Badge
    Chapter 20 Boolean Algebras and Stone Maps in Schröder Categories
  22. Altmetric Badge
    Chapter 21 Cardinality in Allegories
  23. Altmetric Badge
    Chapter 22 Solving Linear Equations in *-continuous Action Lattices
  24. Altmetric Badge
    Chapter 23 Reactive Probabilistic Programs and Refinement Algebra
  25. Altmetric Badge
    Chapter 24 Knowledge and Games in Modal Semirings
  26. Altmetric Badge
    Chapter 25 Theorem Proving Modulo Based on Boolean Equational Procedures
  27. Altmetric Badge
    Chapter 26 Rectangles, Fringes, and Inverses
  28. Altmetric Badge
    Chapter 27 An Ordered Category of Processes
  29. Altmetric Badge
    Chapter 28 Automatic Proof Generation in Kleene Algebra
Attention for Chapter 12: Lazy Relations
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Lazy Relations
Chapter number 12
Book title
Relations and Kleene Algebra in Computer Science
Published by
Springer, Berlin, Heidelberg, April 2008
DOI 10.1007/978-3-540-78913-0_12
Book ISBNs
978-3-54-078912-3, 978-3-54-078913-0
Authors

Walter Guttmann