Relational and Algebraic Methods in Computer Science

1. Front Matter

   PDF

2. Building Structured Theories

   • Bernhard Möller

   Pages 1-21

3. Social Networks: Prestige, Centrality, and Influence

   • Agnieszka Rusinowska, Rudolf Berghammer, Harrie De Swart, Michel Grabisch

   Pages 22-39

4. Synthesising Terminating Tableau Calculi for Relational Logics

   • Renate A. Schmidt

   Pages 40-49

5. From Arrow’s Impossibility to Schwartz’s Tournament Equilibrium Set

   • Felix Brandt

   Pages 50-51

6. Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL

   • Simon Foster, Georg Struth, Tjark Weber

   Pages 52-67

7. Explaining Voting Paradoxes; Including Arrow’s and Sen’s Theorems

   • Donald G. Saari

   Pages 68-69

8. Relation Algebraic Approaches to Fuzzy Relations

   • Michael Winter

   Pages 70-73

9. A First-Order Calculus for Allegories

   • Bahar Aameri, Michael Winter

   Pages 74-91

10. Relational Modelling and Solution of Chessboard Problems

    • Rudolf Berghammer

    Pages 92-108

11. A Functional, Successor List Based Version of Warshall’s Algorithm with Applications

    • Rudolf Berghammer

    Pages 109-124

12. Variable Side Conditions and Greatest Relations in Algebraic Separation Logic

    • Han-Hing Dang, Peter Höfner

    Pages 125-140

13. An Algebraic Approach to Preference Relations

    • Ivo Düntsch, Ewa Orłowska

    Pages 141-147

14. Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings

    • Hitoshi Furusawa, Koki Nishizawa

    Pages 148-163

15. Using Bisimulations for Optimality Problems in Model Refinement

    • Roland Glück

    Pages 164-179

16. Pathfinding through Congruences

    • Alexander J. T. Gurney, Timothy G. Griffin

    Pages 180-195

17. Towards a Typed Omega Algebra

    • Walter Guttmann

    Pages 196-211

18. Towards an Algebra of Routing Tables

    • Peter Höfner, Annabelle McIver

    Pages 212-229

19. Dependently-Typed Formalisation of Relation-Algebraic Abstractions

    • Wolfram Kahl

    Pages 230-247

20. Omega Algebras and Regular Equations

    • Michael R. Laurence, Georg Struth

    Pages 248-263

This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences, which have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game theory. For that reason this conference included a special track on Computational Social Choice and Social Software. The 18 papers included were carefully reviewed and selected from 27 submissions. In addition the volume contains 2 invited tutorials and 5 invited talks.

• combinatorial optimization
• formal algebraic modeling
• formal language theory
• graph theory
• process algebras

• Faculty of Philosophy, Tilburg University, Tilburg, The Netherlands

  Harrie Swart

Policies and ethics