Abstract is missing.
- Finite Relation Algebras with Normal RepresentationsManuel Bodirsky. 3-17 [doi]
- C-Dioids and \mu -Continuous Chomsky-AlgebrasHans Leiß, Mark Hopkins. 21-36 [doi]
- Coequalizers and Tensor Products for Continuous Idempotent SemiringsMark Hopkins, Hans Leiß. 37-52 [doi]
- Distances, Norms and Error Propagation in Idempotent SemiringsRoland Glück. 53-69 [doi]
- T-Norm Based Operations in Arrow CategoriesMichael Winter. 70-86 [doi]
- Decidability of Equational Theories for Subsignatures of Relation AlgebraRobin Hirsch. 87-96 [doi]
- Composition of Different-Type Relations via the Kleisli Category for the Continuation MonadKoki Nishizawa, Norihiro Tsumagari. 97-112 [doi]
- Axiomatizing Discrete Spatial RelationsGiulia Sindoni, Katsuhiko Sano, John G. Stell. 113-130 [doi]
- A Modal and Relevance Logic for Qualitative Spatial ReasoningPranab Kumar Ghosh, Michael Winter. 131-147 [doi]
- On the Structure of Generalized Effect Algebras and Separation AlgebrasSarah Alexander, Peter Jipsen, Nadiya Upegui. 148-165 [doi]
- Counting Finite Linearly Ordered Involutive BisemilatticesStefano Bonzio, Michele Pra Baldi, Diego Valota. 166-183 [doi]
- MIX \star -Autonomous Quantales and the Continuous Weak OrderMaria João Gouveia, Luigi Santocanale. 184-201 [doi]
- Calculational Verification of Reactive Programs with Reactive Relations and Kleene AlgebraSimon Foster 0001, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock. 205-224 [doi]
- Verifying Hybrid Systems with Modal Kleene AlgebraJonathan Julián Huerta y Munive, Georg Struth. 225-243 [doi]
- Algebraic Derivation of Until Rules and Application to Timer VerificationJessica Ertel, Roland Glück, Bernhard Möller. 244-262 [doi]
- False Failure: Creating Failure Models for Separation LogicCallum Bannister, Peter Höfner. 263-279 [doi]
- Towards an Analysis of Dynamic Gossip in NetkatMalvin Gattinger, Jana Wagemaker. 280-297 [doi]
- Coalgebraic Tools for Randomness-Conserving ProtocolsDexter Kozen, Matvey Soloviev. 298-313 [doi]
- Algebraic Solution of Weighted Minimax Single-Facility Constrained Location ProblemsNikolai Krivulin. 317-332 [doi]
- A Set Solver for Finite Set Relation AlgebraMaximiliano Cristiá, Gianfranco Rossi. 333-349 [doi]
- On the Computational Complexity of Non-dictatorial AggregationLefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos. 350-365 [doi]
- Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheckWolfram Kahl. 366-384 [doi]