Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16--21, 2001. Revised papers (Q1396761)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0989.00046). Indexed articles: \textit{Kahl, Wolfram}, A relation-algebraic approach to graph structure transformation, 1-14 [Zbl 1027.68612] \textit{Balbiani, Philippe}, Emptiness relations in property systems, 15-34 [Zbl 1027.03026] \textit{Buszkowski, Wojciech}, Pregroups: Models and grammars, 35-49 [Zbl 1027.68069] \textit{Doberkat, Ernst-Erich; Omodeo, Eugenio G.}, Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view, 50-65 [Zbl 1027.03028] \textit{Frias, Marcelo F.; Baum, Gabriel A.; Maibaum, Thomas S. E.}, Interpretability of first-order dynamic logic in a relational calculus, 66-80 [Zbl 1027.03029] \textit{Hájek, Petr}, Relations in GUHA style data mining, 81-87 [Zbl 1027.68528] \textit{Kawahara, Yasuo}, Groups in allegories, 88-103 [Zbl 1029.18006] \textit{Kent, Robert E.}, Distributed conceptual structures, 104-123 [Zbl 1027.68116] \textit{Laita, L. M.; Roanes-Lozano, E.; de Ledesma, L.; Calvo, T.; Gozález-Sotos, L.}, A computer algebra approach to relational systems using Gröbner bases, 124-133 [Zbl 1027.68983] \textit{Nachtegael, Mike; De Cock, Martine; Van der Weken, Dietrich; Kerre, Etienne E.}, Fuzzy relational images in computer science, 134-151 [Zbl 1027.68701] \textit{Okuma, Hitomi; Kawahara, Yasuo}, A completeness theorem for extended order dependencies on relational attribute models in Dedekind categories, 152-170 [Zbl 1027.68048] \textit{Orłowska, Ewa; Radzikowska, Anna Maria}, Double residuated lattices and their applications, 171-189 [Zbl 1027.68117] \textit{Pilitowska, Agata}, Interval bilattices and some other simple bilattices, 190-196 [Zbl 1027.03047] \textit{Ştefănescu, Gheorghe}, Interactive systems: From folklore to mathematics, 197-211 [Zbl 1027.68087] \textit{Winter, Michael}, Relational constructions in Goguen categories, 212-227 [Zbl 1029.18004] \textit{Zimmermann, Ernst}, A subintuitionistic logic and some of its methods, 228-240 [Zbl 1027.03005] \textit{Berghammer, Rudolf; Leoniuk, Barbara; Milanese, Ulf}, Implementation of relational algebra using binary decision diagrams, 241-257 [Zbl 1027.68036] \textit{Berghammer, Rudolf; Hoffmann, Thorsten}, Calculating a relational program for transitive reductions of strongly connected graphs, 258-275 [Zbl 1027.68644] \textit{Struth, Georg}, Calculating Church-Rosser proofs in Kleene algebra, 276-290 [Zbl 1027.68071] \textit{Cao-Van, Kim; De Baets, Bernard}, On the definition and representation of a ranking, 291-299 [Zbl 1027.68660] \textit{Düntsch, Ivo; Roubens, Marc}, Tangent circle algebras, 300-313 [Zbl 1027.03049]