Abstract is missing.
- Building Structured Theories - (Invited Paper)Bernhard Möller. 1-21 [doi]
- Social Networks: Prestige, Centrality, and Influence - (Invited Paper)Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch. 22-39 [doi]
- Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper)Renate A. Schmidt. 40-49 [doi]
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial)Simon Foster, Georg Struth, Tjark Weber. 52-67 [doi]
- Explaining Voting Paradoxes; Including Arrow s and Sen s Theorems - (Invited Tutorial)Donald G. Saari. 68-69 [doi]
- Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial)Michael Winter. 70-73 [doi]
- A First-Order Calculus for AllegoriesBahar Aameri, Michael Winter. 74-91 [doi]
- Relational Modelling and Solution of Chessboard ProblemsRudolf Berghammer. 92-108 [doi]
- A Functional, Successor List Based Version of Warshall s Algorithm with ApplicationsRudolf Berghammer. 109-124 [doi]
- Variable Side Conditions and Greatest Relations in Algebraic Separation LogicHan-Hing Dang, Peter Höfner. 125-140 [doi]
- An Algebraic Approach to Preference RelationsIvo Düntsch, Ewa Orlowska. 141-147 [doi]
- Relational and Multirelational Representation Theorems for Complete Idempotent Left SemiringsHitoshi Furusawa, Koki Nishizawa. 148-163 [doi]
- Using Bisimulations for Optimality Problems in Model RefinementRoland Glück. 164-179 [doi]
- Pathfinding through CongruencesAlexander J. T. Gurney, Timothy G. Griffin. 180-195 [doi]
- Towards a Typed Omega AlgebraWalter Guttmann. 196-211 [doi]
- Towards an Algebra of Routing TablesPeter Höfner, Annabelle McIver. 212-229 [doi]
- Dependently-Typed Formalisation of Relation-Algebraic AbstractionsWolfram Kahl. 230-247 [doi]
- Omega Algebras and Regular EquationsMichael R. Laurence, Georg Struth. 248-263 [doi]
- On Probabilistic Kleene Algebras, Automata and SimulationsAnnabelle McIver, Tahiry M. Rabehaja, Georg Struth. 264-279 [doi]
- Ampersand - Applying Relation Algebra in PracticeGerard Michels, Sebastiaan Joosten, Jaap van der Woude, Stef Joosten. 280-293 [doi]
- Programming from Galois ConnectionsShin-Cheng Mu, José Nuno Oliveira. 294-313 [doi]
- Constructions around PartialitiesGunther Schmidt. 314-330 [doi]
- Splitting Atoms in Relational AlgebrasPrathap Siddavaatam, Michael Winter. 331-346 [doi]
- Relational Heterogeneity Relaxed by SubtypingJaap van der Woude, Stef Joosten. 347-361 [doi]