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

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 Transitive Separation Logic
  3. Altmetric Badge
    Chapter 2 Unifying Lazy and Strict Computations
  4. Altmetric Badge
    Chapter 3 Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
  5. Altmetric Badge
    Chapter 4 Towards an Algebra for Real-Time Programs
  6. Altmetric Badge
    Chapter 5 Automated Reasoning in Higher-Order Regular Algebra
  7. Altmetric Badge
    Chapter 6 Towards Certifiable Implementation of Graph Transformation via Relation Categories
  8. Altmetric Badge
    Chapter 7 Deciding Regular Expressions (In-)Equivalence in Coq
  9. Altmetric Badge
    Chapter 8 Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures
  10. Altmetric Badge
    Chapter 9 Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings
  11. Altmetric Badge
    Chapter 10 Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
  12. Altmetric Badge
    Chapter 11 Left-Handed Completeness
  13. Altmetric Badge
    Chapter 12 Relational and Algebraic Methods in Computer Science
  14. Altmetric Badge
    Chapter 13 Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings
  15. Altmetric Badge
    Chapter 14 Relational Representation Theorem for Powerset Quantales
  16. Altmetric Badge
    Chapter 15 Point Axioms in Dedekind Categories
  17. Altmetric Badge
    Chapter 16 Two Observations in Dioid Based Model Refinement
  18. Altmetric Badge
    Chapter 17 Relation Algebras, Matrices, and Multi-valued Decision Diagrams
  19. Altmetric Badge
    Chapter 18 Incremental Pseudo Rectangular Organization of Information Relative to a Domain
  20. Altmetric Badge
    Chapter 19 Relational Concepts in Social Choice
  21. Altmetric Badge
    Chapter 20 An Algebra of Layered Complex Preferences
  22. Altmetric Badge
    Chapter 21 Continuous Relations and Richardson’s Theorem
  23. Altmetric Badge
    Chapter 22 Relations on Hypergraphs
  24. Altmetric Badge
    Chapter 23 Extension Properties of Boolean Contact Algebras
  25. Altmetric Badge
    Chapter 24 Erratum: Transitive Separation Logic
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
1 Mendeley
Summary Wikipedia
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 Berlin Heidelberg, September 2012
DOI 10.1007/978-3-642-33314-9
ISBNs
978-3-64-233313-2, 978-3-64-233314-9
Editors

Kahl, Wolfram, Griffin, Timothy G.

View on publisher site
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 > Doctoral Student 1 100%
Readers by discipline Count As %
Mathematics 1 100%

This page is provided by Altmetric.