Abstract is missing.
- Knowledge and Structure in Social AlgorithmsRohit Parikh. 1-12 [doi]
- Computational Social Choice Using Relation Algebra and RelViewHarrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska. 13-28 [doi]
- A Model of Internet Routing Using Semi-modulesJohn N. Billings, Timothy G. Griffin. 29-43 [doi]
- Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive ProgramsClaude Bolduc, Béchir Ktari. 44-58 [doi]
- Towards Algebraic Separation LogicHan-Hing Dang, Peter Höfner, Bernhard Möller. 59-72 [doi]
- Domain and Antidomain SemigroupsJules Desharnais, Peter Jipsen, Georg Struth. 73-87 [doi]
- Composing Partially Ordered MonadsPatrik Eklund, Robert Helgesson. 88-102 [doi]
- A Relation-Algebraic Approach to Liveness of Place/Transition NetsAlexander Fronk, Rudolf Berghammer. 103-118 [doi]
- *-Continuous Idempotent Left Semirings and Their Ideal CompletionHitoshi Furusawa, Fumiya Sanda. 119-133 [doi]
- A Semiring Approach to Equivalences, Bisimulations and ControlRoland Glück, Bernhard Möller, Michel Sintzoff. 134-149 [doi]
- General Correctness AlgebraWalter Guttmann. 150-165 [doi]
- Foundations of Concurrent Kleene AlgebraC. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman. 166-186 [doi]
- Armstrong s Inference Rules in Dedekind CategoriesToshikazu Ishida, Kazumasa Honda, Yasuo Kawahara. 187-198 [doi]
- Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation CoverageAli Jaoua, Rehab Duwairi, Samir Elloumi, Sadok Ben Yahia. 199-210 [doi]
- Collagories for Relational Adhesive RewritingWolfram Kahl. 211-226 [doi]
- Cardinal Addition in Distributive AllegoriesYasuo Kawahara, Michael Winter. 227-241 [doi]
- Relational Methods in the Analysis of While Loops: Observations of VersatilityAsma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili. 242-259 [doi]
- Modalities, Relations, and LearningMartin Eric Müller. 260-275 [doi]
- The Cube of Kleene Algebras and the Triangular Prism of MultirelationsKoki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa. 276-290 [doi]
- Discrete Duality for Relation Algebras and Cylindric AlgebrasEwa Orlowska, Ingrid Rewitzky. 291-305 [doi]
- Contact Relations with ApplicationsGunther Schmidt, Rudolf Berghammer. 306-321 [doi]
- A While Program Normal Form Theorem in Total CorrectnessKim Solin. 322-336 [doi]
- Complements in Distributive AllegoriesMichael Winter. 337-350 [doi]
- On the Skeleton of Stonian p-OrtholatticesMichael Winter, Torsten Hahmann, Michael Gruninger. 351-365 [doi]