Abstract is missing.
- Transitive Separation LogicHan-Hing Dang, Bernhard Möller. 1-16 [doi]
- Unifying Lazy and Strict ComputationsWalter Guttmann. 17-32 [doi]
- Foundations of Coloring Algebra with Consequences for Feature-Oriented ProgrammingPeter Höfner, Bernhard Möller, Andreas Zelend. 33-49 [doi]
- Towards an Algebra for Real-Time ProgramsBrijesh Dongol, Ian J. Hayes, Larissa Meinicke, Kim Solin. 50-65 [doi]
- Automated Reasoning in Higher-Order Regular AlgebraAlasdair Armstrong, Georg Struth. 66-81 [doi]
- Towards Certifiable Implementation of Graph Transformation via Relation CategoriesWolfram Kahl. 82-97 [doi]
- Deciding Regular Expressions (In-)Equivalence in CoqNelma Moreira, David Pereira, Simão Melo de Sousa. 98-113 [doi]
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive ClosuresRudolf Berghammer, Sebastian Fischer. 114-129 [doi]
- Using Relations to Develop a Haskell Program for Computing Maximum Bipartite MatchingsNikita Danilenko. 130-145 [doi]
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using InvariantsNuno Macedo, Hugo Pacheco, Alcino Cunha. 146-161 [doi]
- Left-Handed CompletenessDexter Kozen, Alexandra Silva. 162-178 [doi]
- On Completeness of Omega-Regular AlgebrasMichael R. Laurence, Georg Struth. 179-194 [doi]
- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain SemiringsPeter Jipsen. 195-206 [doi]
- Relational Representation Theorem for Powerset QuantalesKoki Nishizawa, Hitoshi Furusawa. 207-218 [doi]
- Point Axioms in Dedekind CategoriesHitoshi Furusawa, Yasuo Kawahara. 219-234 [doi]
- Two Observations in Dioid Based Model RefinementRoland Glück. 235-247 [doi]
- Relation Algebras, Matrices, and Multi-valued Decision DiagramsFrancis Atampore, Michael Winter. 248-263 [doi]
- Incremental Pseudo Rectangular Organization of Information Relative to a DomainSahar Ahmad Ismail, Ali Jaoua. 264-277 [doi]
- Relational Concepts in Social ChoiceGunther Schmidt. 278-293 [doi]
- An Algebra of Layered Complex PreferencesBernhard Möller, Patrick Roocks. 294-309 [doi]
- Continuous Relations and Richardson's TheoremHitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara. 310-325 [doi]
- Relations on HypergraphsJohn G. Stell. 326-341 [doi]
- Extension Properties of Boolean Contact AlgebrasIvo Düntsch, Sanjiang Li. 342-356 [doi]