↓ 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 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
Attention for Chapter 24: Erratum: Transitive Separation Logic
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
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
Erratum: Transitive Separation Logic
Chapter number 24
Book title
Relational and Algebraic Methods in Computer Science
Published by
Springer, Berlin, Heidelberg, January 2012
DOI 10.1007/978-3-642-33314-9_24
Book ISBNs
978-3-64-233313-2, 978-3-64-233314-9
Authors

Han-Hing Dang, Bernhard Möller