Abstract is missing.
- Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making MethodsRaymond Bisdorff, Marc Roubens. 1-7 [doi]
- Kleene Algebra with RelationsJules Desharnais. 8-20 [doi]
- Integrating Model Checking and Theorem Proving for Relational ReasoningKonstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard. 21-33 [doi]
- Fixed-Point Characterisation of Winning Strategies in Impartial GamesRoland Carl Backhouse, Diethard Michaelis. 34-47 [doi]
- Checking the Shape Safety of Pointer ManipulationsAdam Bakewell, Detlef Plump, Colin Runciman. 48-61 [doi]
- Applying Relational Algebra in 3D Graphical Software DesignRudolf Berghammer, Alexander Fronk. 62-74 [doi]
- Investigating Discrete Controllability with Kleene AlgebraHans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis. 74-85 [doi]
- Tracing Relations ProbabilisticallyErnst-Erich Doberkat. 86-98 [doi]
- Pointer Kleene AlgebraThorsten Ehm. 99-111 [doi]
- Kleene ModulesThorsten Ehm, Bernhard Möller, Georg Struth. 112-124 [doi]
- The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by AdjunctionsHitoshi Furusawa. 124-136 [doi]
- Towards a Formalisation of Relational Database Theory in Constructive Type TheoryCarlos Gonzalia. 137-148 [doi]
- SCAN Is Complete for All Sahlqvist FormulaeValentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov. 149-162 [doi]
- Relations and GUHA-Style Data Mining IIPetr Hájek. 163-170 [doi]
- A Note on Complex Algebras of SemigroupsPeter Jipsen. 171-177 [doi]
- Calculational Relation-Algebraic Proofs in Isabelle/IsarWolfram Kahl. 178-190 [doi]
- A Calculus of Typed RelationsWendy MacCaull, Ewa Orlowska. 191-201 [doi]
- Greedy-Like Algorithms in Modal Kleene AlgebraBernhard Möller, Georg Struth. 202-215 [doi]
- Rasiowa-Sikorski Style Relational Elementary Set TheoryEugenio G. Omodeo, Ewa Orlowska, Alberto Policriti. 215-226 [doi]
- Relational Data AnalysisGunther Schmidt. 227-237 [doi]
- Two Proof Systems for Peirce AlgebrasRenate A. Schmidt, Ewa Orlowska, Ullrich Hustadt. 238-251 [doi]
- An Institution Isomorphism for Planar Graph ColouringGiuseppe Scollo. 252-264 [doi]
- Decomposing Relations into OrderingsMichael Winter. 265-277 [doi]