↓ Skip to main content

Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

Overview of attention for book
Cover of 'Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Developments in Concurrent Kleene Algebra
  3. Altmetric Badge
    Chapter 2 Endowing Concurrent Kleene Algebra with Communication Actions
  4. Altmetric Badge
    Chapter 3 Concurrent Kleene Algebra with Tests
  5. Altmetric Badge
    Chapter 4 Algebras for Program Correctness in Isabelle/HOL
  6. Altmetric Badge
    Chapter 5 Relational and Algebraic Methods in Computer Science
  7. Altmetric Badge
    Chapter 6 A Modified Completeness Theorem of KAT and Decidability of Term Reducibility
  8. Altmetric Badge
    Chapter 7 Kleene Algebra with Converse
  9. Altmetric Badge
    Chapter 8 Preparing Relational Algebra for “Just Good Enough” Hardware
  10. Altmetric Badge
    Chapter 9 Extended Conscriptions Algebraically
  11. Altmetric Badge
    Chapter 10 Abstract Dynamic Frames
  12. Altmetric Badge
    Chapter 11 Automated Verification of Relational While-Programs
  13. Altmetric Badge
    Chapter 12 On Faults and Faulty Programs
  14. Altmetric Badge
    Chapter 13 Parameterised Bisimulations: Some Applications
  15. Altmetric Badge
    Chapter 14 A Point-Free Relation-Algebraic Approach to General Topology
  16. Altmetric Badge
    Chapter 15 A Mechanised Abstract Formalisation of Concept Lattices
  17. Altmetric Badge
    Chapter 16 A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories
  18. Altmetric Badge
    Chapter 17 Higher-Order Arrow Categories
  19. Altmetric Badge
    Chapter 18 Type-2 Fuzzy Controllers in Arrow Categories
  20. Altmetric Badge
    Chapter 19 Relation Algebra and RelView Applied to Approval Voting
  21. Altmetric Badge
    Chapter 20 Relational Lattices
  22. Altmetric Badge
    Chapter 21 Towards Finding Maximal Subrelations with Desired Properties
  23. Altmetric Badge
    Chapter 22 Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis
  24. Altmetric Badge
    Chapter 23 Refinements of the RCC25 Composition Table
  25. Altmetric Badge
    Chapter 24 Fuzzifying Modal Algebra
  26. Altmetric Badge
    Chapter 25 Relational and Algebraic Methods in Computer Science
  27. Altmetric Badge
    Chapter 26 Nominal Sets over Algebraic Atoms
  28. Altmetric Badge
    Chapter 27 Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
wikipedia
1 Wikipedia page

Readers on

mendeley
2 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 : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings
Published by
Springer International Publishing, April 2014
DOI 10.1007/978-3-319-06251-8
ISBNs
978-3-31-906250-1, 978-3-31-906251-8
Editors

Höfner, Peter, Müller, Martin Eric, Kahl, Wolfram, Jipsen, Peter

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 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 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 50%
Unknown 1 50%
Readers by discipline Count As %
Mathematics 1 50%
Unknown 1 50%