6. RelMiCS 2001: Oisterwijk, The Netherlands

Harrie C. M. de Swart (Ed.): 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. Lecture Notes in Computer Science 2561 Springer 2002, ISBN 3-540-00315-0 BibTeX

@proceedings{DBLP:conf/RelMiCS/2001,
  editor    = {Harrie C. M. de Swart},
  title     = {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},
  booktitle = {RelMiCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2561},
  year      = {2002},
  isbn      = {3-540-00315-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lecture

Wolfram Kahl:
A Relation-Algebraic Approach to Graph Structure Transformation. 1-14
Electronic Edition (Springer LINK) BibTeX

Algebraic and Logical Foundations of 'Real World' Relations

Philippe Balbiani:
Emptiness Relations in Property Systems. 15-34
Electronic Edition (Springer LINK) BibTeX
Wojciech Buszkowski:
Pregroups: Models and Grammars. 35-49
Electronic Edition (Springer LINK) BibTeX
Ernst-Erich Doberkat, Eugenio G. Omodeo:
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View. 50-65
Electronic Edition (Springer LINK) BibTeX
Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum:
Interpretability of First-Order Dynamic Logic in a Relational Calculus. 66-80
Electronic Edition (Springer LINK) BibTeX
Petr Hájek:
Relations in GUHA Style Data Mining. 81-87
Electronic Edition (Springer LINK) BibTeX
Yasuo Kawahara:
Groups in Allegories. 88-103
Electronic Edition (Springer LINK) BibTeX
Robert E. Kent:
Distributed Conceptual Structures. 104-123
Electronic Edition (Springer LINK) BibTeX
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, L. Gozález-Sotos:
A Computer Algebra Approach to Relational Systems Using Gröbner Bases. 124-133
Electronic Edition (Springer LINK) BibTeX
Mike Nachtegael, Martine De Cock, Dietrich Van der Weken, Etienne E. Kerre:
Fuzzy Relational Images in Computer Science. 134-151
Electronic Edition (Springer LINK) BibTeX
Hitomi Okuma, Yasuo Kawahara:
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories. 152-170
Electronic Edition (Springer LINK) BibTeX
Ewa Orlowska, Anna Maria Radzikowska:
Double Residuated Lattices and Their Applications. 171-189
Electronic Edition (Springer LINK) BibTeX
Agata Pilitowska:
Interval Bilattices and Some Other Simple Bilattices. 190-196
Electronic Edition (Springer LINK) BibTeX
Gheorghe Stefanescu:
Interactive Systems: From Folklore to Mathematics. 197-211
Electronic Edition (Springer LINK) BibTeX
Michael Winter:
Relational Constructions in Goguen Categories. 212-227
Electronic Edition (Springer LINK) BibTeX
Ernst Zimmermann:
A Subintuitionistic Logic and Some of Its Methods. 228-240
Electronic Edition (Springer LINK) BibTeX

Mechanisation of Relational Reasoning

Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese:
Implementation of Relational Algebra Using Binary Decision Diagrams. 241-257
Electronic Edition (Springer LINK) BibTeX
Rudolf Berghammer, Thorsten Hoffmann:
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. 258-275
Electronic Edition (Springer LINK) BibTeX
Georg Struth:
Calculating Church-Rosser Proofs in Kleene Algebra. 276-290
Electronic Edition (Springer LINK) BibTeX

Relational Scaling and Preferences

Kim Cao-Van, Bernard De Baets:
On the Definition and Representation of a Ranking. 291-299
Electronic Edition (Springer LINK) BibTeX
Ivo Düntsch, Marc Roubens:
Tangent Circle Algebras. 300-313
Electronic Edition (Springer LINK) BibTeX