↓ Skip to main content

Relational and Algebraic Methods in Computer Science

Overview of attention for book
Cover of 'Relational and Algebraic Methods in Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Finite Relation Algebras with Normal Representations
  3. Altmetric Badge
    Chapter 2 C-Dioids and $$\mu $$-Continuous Chomsky-Algebras
  4. Altmetric Badge
    Chapter 3 Coequalizers and Tensor Products for Continuous Idempotent Semirings
  5. Altmetric Badge
    Chapter 4 Distances, Norms and Error Propagation in Idempotent Semirings
  6. Altmetric Badge
    Chapter 5 T-Norm Based Operations in Arrow Categories
  7. Altmetric Badge
    Chapter 6 Decidability of Equational Theories for Subsignatures of Relation Algebra
  8. Altmetric Badge
    Chapter 7 Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad
  9. Altmetric Badge
    Chapter 8 Axiomatizing Discrete Spatial Relations
  10. Altmetric Badge
    Chapter 9 A Modal and Relevance Logic for Qualitative Spatial Reasoning
  11. Altmetric Badge
    Chapter 10 On the Structure of Generalized Effect Algebras and Separation Algebras
  12. Altmetric Badge
    Chapter 11 Counting Finite Linearly Ordered Involutive Bisemilattices
  13. Altmetric Badge
    Chapter 12 MIX $$\star $$-Autonomous Quantales and the Continuous Weak Order
  14. Altmetric Badge
    Chapter 13 Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
  15. Altmetric Badge
    Chapter 14 Verifying Hybrid Systems with Modal Kleene Algebra
  16. Altmetric Badge
    Chapter 15 Algebraic Derivation of Until Rules and Application to Timer Verification
  17. Altmetric Badge
    Chapter 16 False Failure: Creating Failure Models for Separation Logic
  18. Altmetric Badge
    Chapter 17 Towards an Analysis of Dynamic Gossip in Netkat
  19. Altmetric Badge
    Chapter 18 Coalgebraic Tools for Randomness-Conserving Protocols
  20. Altmetric Badge
    Chapter 19 Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems
  21. Altmetric Badge
    Chapter 20 A Set Solver for Finite Set Relation Algebra
  22. Altmetric Badge
    Chapter 21 On the Computational Complexity of Non-dictatorial Aggregation
  23. Altmetric Badge
    Chapter 22 Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck
Attention for Chapter 22: Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck
Altmetric Badge

Readers on

mendeley
1 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.
Chapter title
Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck
Chapter number 22
Book title
Relational and Algebraic Methods in Computer Science
Published by
Springer, Cham, October 2018
DOI 10.1007/978-3-030-02149-8_22
Book ISBNs
978-3-03-002148-1, 978-3-03-002149-8
Authors

Wolfram Kahl, Kahl, Wolfram

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Linguistics 1 100%