↓ 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
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age and source

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
3 Mendeley
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
Lecture notes in computer science, January 2008
DOI 10.1007/978-3-540-78913-0
ISBNs
978-3-54-078912-3, 978-3-54-078913-0
Editors

Berghammer, Rudolf, Möller, Bernhard, Struth, Georg

Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 04 July 2022.
All research outputs
#7,454,066
of 22,788,370 outputs
Outputs from Lecture notes in computer science
#2,486
of 8,127 outputs
Outputs of similar age
#41,747
of 156,208 outputs
Outputs of similar age from Lecture notes in computer science
#38
of 85 outputs
Altmetric has tracked 22,788,370 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,127 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 55% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 156,208 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 18th percentile – i.e., 18% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 85 others from the same source and published within six weeks on either side of this one. This one is in the 35th percentile – i.e., 35% of its contemporaries scored the same or lower than it.