↓ Skip to main content
What is this page? Embed badge

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 Weak Kleene Algebra and Computation Trees
  3. Altmetric Badge
    Chapter 2 Finite Symmetric Integral Relation Algebras with No 3-Cycles
  4. Altmetric Badge
    Chapter 3 Computations and Relational Bundles
  5. Altmetric Badge
    Chapter 4 An Axiomatization of Arrays for Kleene Algebra with Tests
  6. Altmetric Badge
    Chapter 5 Local Variable Scoping and Kleene Algebra with Tests
  7. Altmetric Badge
    Chapter 6 Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView
  8. Altmetric Badge
    Chapter 7 On the Complexity of the Equational Theory of Relational Action Algebras
  9. Altmetric Badge
    Chapter 8 Demonic Algebra with Domain
  10. Altmetric Badge
    Chapter 9 Topological Representation of Contact Lattices
  11. Altmetric Badge
    Chapter 10 Betweenness and Comparability Obtained from Binary Relations
  12. Altmetric Badge
    Chapter 11 Relational Representation Theorems for General Lattices with Negations
  13. Altmetric Badge
    Chapter 12 Monotonicity Analysis Can Speed Up Verification
  14. Altmetric Badge
    Chapter 13 Max-Plus Convex Geometry
  15. Altmetric Badge
    Chapter 14 Lazy Semiring Neighbours and Some Applications
  16. Altmetric Badge
    Chapter 15 Omega Algebra, Demonic Refinement Algebra and Commands
  17. Altmetric Badge
    Chapter 16 Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
  18. Altmetric Badge
    Chapter 17 On the Cardinality of Relations
  19. Altmetric Badge
    Chapter 18 Evaluating Sets of Search Points Using Relational Algebra
  20. Altmetric Badge
    Chapter 19 Algebraization of Hybrid Logic with Binders
  21. Altmetric Badge
    Chapter 20 Using Probabilistic Kleene Algebra for Protocol Verification
  22. Altmetric Badge
    Chapter 21 Monotone Predicate Transformers as Up-Closed Multirelations
  23. Altmetric Badge
    Chapter 22 Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective
  24. Altmetric Badge
    Chapter 23 Relational Measures and Integration
  25. Altmetric Badge
    Chapter 24 A Relational View of Recurrence and Attractors in State Transition Dynamics
  26. Altmetric Badge
    Chapter 25 On Two Dually Nondeterministic Refinement Algebras
  27. Altmetric Badge
    Chapter 26 On the Fixpoint Theory of Equality and Its Applications
  28. Altmetric Badge
    Chapter 27 Monodic Tree Kleene Algebra
  29. Altmetric Badge
    Chapter 28 Weak Relational Products
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page
q&a
2 Q&A threads

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
9 Mendeley
Summary Wikipedia Q&A Dimensions citations
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.
Title
Relations and Kleene Algebra in Computer Science
Published by
Springer Science & Business Media, August 2006
DOI 10.1007/11828563
ISBNs
978-3-54-037873-0, 978-3-54-037874-7
Editors

Schmidt, Renate A.

View on publisher site Google Preview
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Spain 1 11%
Portugal 1 11%
Unknown 7 78%

Demographic breakdown

Readers by professional status Count As %
Professor 3 33%
Student > Master 2 22%
Student > Ph. D. Student 2 22%
Student > Doctoral Student 2 22%
Readers by discipline Count As %
Computer Science 7 78%
Mathematics 1 11%
Engineering 1 11%

This page is provided by Altmetric.