↓ 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 Algebra for Quantitative Information Flow
  3. Altmetric Badge
    Chapter 2 Dual Space of a Lattice as the Completion of a Pervin Space
  4. Altmetric Badge
    Chapter 3 Relations as Images
  5. Altmetric Badge
    Chapter 4 Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
  6. Altmetric Badge
    Chapter 5 Varieties of Cubical Sets
  7. Altmetric Badge
    Chapter 6 Non-associative Kleene Algebra and Temporal Logics
  8. Altmetric Badge
    Chapter 7 Algebraic Investigation of Connected Components
  9. Altmetric Badge
    Chapter 8 Stone Relation Algebras
  10. Altmetric Badge
    Chapter 9 Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
  11. Altmetric Badge
    Chapter 10 Parsing and Printing of and with Triples
  12. Altmetric Badge
    Chapter 11 Software Development in Relation Algebra with Ampersand
  13. Altmetric Badge
    Chapter 12 Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras
  14. Altmetric Badge
    Chapter 13 Aggregation of Votes with Multiple Positions on Each Issue
  15. Altmetric Badge
    Chapter 14 Complete Solution of an Optimization Problem in Tropical Semifield
  16. Altmetric Badge
    Chapter 15 Concurrency-Preserving Minimal Process Representation
  17. Altmetric Badge
    Chapter 16 Embeddability into Relational Lattices Is Undecidable
  18. Altmetric Badge
    Chapter 17 Tower Induction and Up-to Techniques for CCS with Fixed Points
  19. Altmetric Badge
    Chapter 18 Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants
  20. Altmetric Badge
    Chapter 19 Type-n Arrow Categories
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users

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.
Title
Relational and Algebraic Methods in Computer Science
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-57418-9
ISBNs
978-3-31-957417-2, 978-3-31-957418-9
Editors

Peter Höfner, Damien Pous, Georg Struth

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 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 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 %
Mathematics 1 100%