Abstract is missing.
- Formal Methods and the Theory of Social ChoiceMarc Pauly. 1-2 [doi]
- Relations Making Their Way from Logics to Mathematics and Applied SciencesGunther Schmidt. 3 [doi]
- Boolean Logics with RelationsPhilippe Balbiani, Tinko Tinchev. 4-21 [doi]
- Relation Algebra and RelViewin Practical Use: Construction of Special University TimetablesRudolf Berghammer, Britta Kehden. 22-36 [doi]
- A Relation Algebraic Semantics for a Lazy Functional Logic LanguageBernd Braßel, Jan Christiansen. 37-53 [doi]
- Latest News about Demonic Algebra with DomainJean-Lou De Carufel, Jules Desharnais. 54-68 [doi]
- On the Structure of Demonic Refinement Algebras with Enabledness and TerminationJean-Lou De Carufel, Jules Desharnais. 69-83 [doi]
- Multi-objective Problems in Terms of Relational AlgebraFlorian Diedrich, Britta Kehden, Frank Neumann. 84-98 [doi]
- The Lattice of Contact Relations on a Boolean AlgebraIvo Düntsch, Michael Winter. 99-109 [doi]
- A Non-probabilistic Relational Model of Probabilistic Kleene AlgebrasHitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa. 110-122 [doi]
- Increasing Bisemigroups and Algebraic RoutingTimothy G. Griffin, Alexander J. T. Gurney. 123-137 [doi]
- Lazy RelationsWalter Guttmann. 138-154 [doi]
- The Algebraic Approach I: The Algebraization of the Chomsky HierarchyMark Hopkins. 155-172 [doi]
- The Algebraic Approach II: Dioids, Quantales and MonadsMark Hopkins. 173-190 [doi]
- Automated Reasoning for Hybrid Systems - Two Case Studies -Peter Höfner. 191-205 [doi]
- Non-termination in Idempotent SemiringsPeter Höfner, Georg Struth. 206-220 [doi]
- Formal Concepts in Dedekind CategoriesToshikazu Ishida, Kazumasa Honda, Yasuo Kawahara. 221-233 [doi]
- The Structure of the One-Generated Free Domain SemiringPeter Jipsen, Georg Struth. 234-242 [doi]
- Determinisation of Relational Substitutions in Ordered Categories with DomainWolfram Kahl. 243-258 [doi]
- Boolean Algebras and Stone Maps in Schröder CategoriesYasuo Kawahara. 259-273 [doi]
- Cardinality in AllegoriesYasuo Kawahara, Michael Winter. 274-288 [doi]
- Solving Linear Equations in *-continuous Action LatticesBéchir Ktari, François Lajeunesse-Robert, Claude Bolduc. 289-303 [doi]
- Reactive Probabilistic Programs and Refinement AlgebraLarissa Meinicke, Kim Solin. 304-319 [doi]
- Knowledge and Games in Modal SemiringsBernhard Möller. 320-336 [doi]
- Theorem Proving Modulo Based on Boolean Equational ProceduresCamilo Rocha, José Meseguer. 337-351 [doi]
- Rectangles, Fringes, and InversesGunther Schmidt. 352-366 [doi]
- An Ordered Category of ProcessesMichael Winter. 367-381 [doi]
- Automatic Proof Generation in Kleene AlgebraJames Worthington. 382-396 [doi]