Abstract is missing.
- Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder ForestsNatanael Alpay, Peter Jipsen. 1-14 [doi]
- A Relation-Algebraic Treatment of the Dedekind Recursion TheoremRudolf Berghammer. 15-30 [doi]
- Hardness of Network Satisfaction for Relation Algebras with Normal RepresentationsManuel Bodirsky, Simon Knäuer. 31-46 [doi]
- The θ-Join as a Join with θJules Desharnais, Bernhard Möller. 47-64 [doi]
- Bisimilarity of DiagramsJérémy Dubut. 65-81 [doi]
- Generating Posets Beyond NUli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa. 82-99 [doi]
- Automated Algebraic Reasoning for Collections and Local Variables with LensesSimon Foster 0001, James Baxter. 100-116 [doi]
- 2-algebrasNikolaos Galatos, Peter Jipsen. 117-133 [doi]
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation AlgebrasWalter Guttmann. 134-151 [doi]
- A Hierarchy of Algebras for Boolean SubsetsWalter Guttmann, Bernhard Möller. 152-168 [doi]
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOLSimon Foster 0001, Jonathan Julián Huerta y Munive, Georg Struth. 169-186 [doi]
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos TheoryYoshihiro Maruyama. 187-203 [doi]
- Expressive Power and Succinctness of the Positive Calculus of RelationsYoshiki Nakamura. 204-220 [doi]
- Stone Dualities from OpfibrationsKoki Nishizawa, Shin-ya Katsumata, Yuichi Komorida. 221-236 [doi]
- Preorders, Partial Semigroups, and QuantalesKoki Nishizawa, Koji Yasuda, Hitoshi Furusawa. 237-252 [doi]
- Counting and Computing Join-Endomorphisms in LatticesSantiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia. 253-269 [doi]
- A Unary Semigroup Trace AlgebraPedro Ribeiro 0002. 270-285 [doi]
- The Involutive Quantaloid of Completely Distributive LatticesLuigi Santocanale. 286-301 [doi]
- Computer-Supported Exploration of a Categorical Axiomatization of ModeloidsLucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda. 302-317 [doi]
- Sharpness in the Fuzzy WorldMichael Winter 0001. 318-334 [doi]