Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers (Q1890040): Difference between revisions

The articles of this volume will be reviewed individually. The preceding seminar has been reviewed (see Zbl 1014.00018). Indexed articles: \textit{Bisdorff, Raymond; Roubens, Marc}, Choice procedures in pairwise comparison multiple-attribute decision making methods, 1-7 [Zbl 1088.91503] \textit{Desharnais, Jules}, Kleene algebra with relations, 8-20 [Zbl 1088.03051] \textit{Arkoudas, Konstantine; Khurshid, Sarfraz; Marinov, Darko; Rinard, Martin}, Integrating model checking and theorem proving for relational reasoning, 21-33 [Zbl 1088.68771] \textit{Backhouse, Roland; Michaelis, Diethard}, Fixed-point characterisation of winning strategies in impartial games, 34-47 [Zbl 1088.91501] \textit{Bakewell, Adam; Plump, Detlef; Runciman, Colin}, Checking the shape safety of pointer manipulations, 48-61 [Zbl 1088.68548] \textit{Berghammer, Rudolf; Fronk, Alexander}, Applying relational algebra in 3D graphical software design, 62-73 [Zbl 1088.68533] \textit{Bherer, Hans; Desharnais, Jules; Frappier, Marc; St-Denis, Richard}, Investigating discrete controllability with Kleene algebra, 74-85 [Zbl 1088.93011] \textit{Doberkat, Ernst-Erich}, Tracing relations probabilistically, 86-98 [Zbl 1088.68104] \textit{Ehm, Thorsten}, Pointer Kleene algebra, 99-111 [Zbl 1088.68038] \textit{Ehm, Thorsten; Möller, Bernhard; Struth, Georg}, Kleene modules, 112-123 [Zbl 1088.03052] \textit{Furusawa, Hitoshi}, The categories of Kleene algebras, action algebras and action lattices are related by adjunctions, 124-136 [Zbl 1088.03053] \textit{Gonzalía, Carlos}, Towards a formalisation of relational database theory in constructive type theory, 137-148 [Zbl 1088.68566] \textit{Goranko, V.; Hustadt, U.; Schmidt, R. A.; Vakarelov, D.}, SCAN is complete for all Sahlqvist formulae, 149-162 [Zbl 1088.03019] \textit{Hájek, Petr}, Relations and GUHA-style data mining. II, 163-170 [Zbl 1088.68567] \textit{Jipsen, Peter}, A note on complex algebras of semigroups, 171-177 [Zbl 1093.20029] \textit{Kahl, Wolfram}, Calculational relation-algebraic proofs in Isabelle/Isar, 178-190 [Zbl 1088.68772] \textit{MacCaull, Wendy; Orłowska, Ewa}, A calculus of typed relations, 191-201 [Zbl 1088.68048] \textit{Möller, Bernhard; Struth, Georg}, Greedy-like algorithms in modal Kleene algebra, 202-215 [Zbl 1088.03055] \textit{Omodeo, Eugenio; Orłowska, Ewa; Policriti, Alberto}, Rasiowa-Sikorski style relational elementary set theory, 215-226 [Zbl 1088.03022] \textit{Schmidt, Gunther}, Relational data analysis, 227-237 [Zbl 1088.68546] \textit{Schmidt, Renate A.; Orłowska, Ewa; Hustadt, Ullrich}, Two proof systems for Peirce algebras, 238-251 [Zbl 1088.03056] \textit{Scollo, Giuseppe}, An institution isomorphism for planar graph colouring, 252-264 [Zbl 1089.05502] \textit{Winter, Michael}, Decomposing relations into orderings, 265-277 [Zbl 1088.03041]