↓ 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 A Quest for Kleene Algebra in 2 Dimensions
  3. Altmetric Badge
    Chapter 2 Connections between Relation Algebras and Cylindric Algebras
  4. Altmetric Badge
    Chapter 3 Towards a Probabilistic Interpretation of Game Logic
  5. Altmetric Badge
    Chapter 4 Completeness and Incompleteness in Nominal Kleene Algebra
  6. Altmetric Badge
    Chapter 5 Closure, Properties and Closure Properties of Multirelations
  7. Altmetric Badge
    Chapter 6 Relational Formalisations of Compositions and Liftings of Multirelations
  8. Altmetric Badge
    Chapter 7 Relations among Matrices over a Semiring
  9. Altmetric Badge
    Chapter 8 Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective
  10. Altmetric Badge
    Chapter 9 Generalised N-ary Relations and Allegories
  11. Altmetric Badge
    Chapter 10 Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets
  12. Altmetric Badge
    Chapter 11 Metaphorisms in Programming
  13. Altmetric Badge
    Chapter 12 Relational Mathematics for Relative Correctness
  14. Altmetric Badge
    Chapter 13 Encoding and Decoding in Refinement Algebra
  15. Altmetric Badge
    Chapter 14 Type Checking by Domain Analysis in Ampersand
  16. Altmetric Badge
    Chapter 15 Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
  17. Altmetric Badge
    Chapter 16 Investigating and Computing Bipartitions with Algebraic Means
  18. Altmetric Badge
    Chapter 17 Tool-Based Verification of a Relational Vertex Coloring Program
  19. Altmetric Badge
    Chapter 18 L-Fuzzy Databases in Arrow Categories
  20. Altmetric Badge
    Chapter 19 Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification
  21. Altmetric Badge
    Chapter 20 Solving a Tropical Optimization Problem via Matrix Sparsification
  22. Altmetric Badge
    Chapter 21 Towards Antichain Algebra
  23. Altmetric Badge
    Chapter 22 Decomposition of Database Preferences on the Power Set of the Domain
  24. Altmetric Badge
    Chapter 23 Roughness by Residuals
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
7 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
Relational and Algebraic Methods in Computer Science
Published by
Springer, Cham, January 2015
DOI 10.1007/978-3-319-24704-5
ISBNs
978-3-31-924703-8, 978-3-31-924704-5
Editors

Wolfram Kahl, Michael Winter, José Oliveira

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 4 57%
Student > Bachelor 1 14%
Student > Doctoral Student 1 14%
Lecturer 1 14%
Readers by discipline Count As %
Computer Science 5 71%
Mathematics 1 14%
Earth and Planetary Sciences 1 14%